An experimental implementation of Avatar Logic with a Prolog-like syntax
A game engine for generic puzzle design and problem solving
Category Theory Solver for Commutative Diagrams
Propositional logic with exponentials
A monotonic solver designed to be easy to use with Rust enum expressions
仿造pytorch的个人玩具（仍在构思，请勿下载）AI框架