xuexue / neuralkanren
Neural Guided Constraint Logic Programming for Program Synthesis
☆92Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for neuralkanren
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆16Updated this week
- λ² is a tool for synthesizing functional programs from input-output examples.☆67Updated last year
- Certified Machine Learning☆40Updated 3 years ago
- deep learning for math☆29Updated 5 years ago
- ☆59Updated 5 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Dyna2 compiler and REPL☆146Updated 4 years ago
- Higher-order, higher-order automatic differentiation☆30Updated 4 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- Interpreter for the reversible functional language rFun☆35Updated 6 years ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- CLP(SMT) on top of miniKanren☆35Updated 2 years ago
- Generates natural language versions of Coq proofs☆51Updated 6 years ago
- Randomized testing for Prolog à la QuickCheck☆22Updated 5 years ago
- A Declarative Theorem Prover for First-Order Classical Logic☆28Updated 4 months ago
- ☆15Updated 3 years ago
- Logic for story telling!☆32Updated 6 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆33Updated 11 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 7 years ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated last month
- Kanren with databases☆43Updated 3 months ago
- staged relational interpreters: running with holes, faster☆125Updated this week
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated 9 months ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆116Updated 3 months ago
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆16Updated 7 months ago
- higher order dependently typed logic programing☆170Updated 6 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 12 years ago
- purple: compiling a reflective language☆29Updated 3 weeks ago
- source code for the bondi programming language☆38Updated 5 years ago