namin / relaxed-machinesLinks
program synthesis with neuro-symbolic differentiable interpreters
☆14Updated last year
Alternatives and similar repositories for relaxed-machines
Users that are interested in relaxed-machines are comparing it to the libraries listed below
Sorting:
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- ☆44Updated 2 years ago
- Formalization of category theory in Agda☆16Updated 2 years ago
- ☆40Updated last month
- How to read Lean☆17Updated 4 months ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- ☆13Updated 3 years ago
- ☆12Updated 2 years ago
- Bonn Lean course for winter 24/25☆31Updated 5 months ago
- Formal grammars in Lean 3☆8Updated last year
- an optimizing curry compiler☆14Updated 2 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- Some tools for provability logic☆37Updated 7 years ago
- ☆9Updated 2 years ago
- ☆10Updated 5 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Certified Machine Learning☆41Updated 4 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Implementation of Nuprl's type theory in Coq☆45Updated 6 months ago
- Monadic Constraint Programming framework☆28Updated 7 years ago
- linear algebra done right in coq☆10Updated 4 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Type theory in type theory☆16Updated 13 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- ☆23Updated 3 years ago
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆27Updated last year
- Category theory in Coq, by Jason Gross☆14Updated 10 years ago
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆49Updated last month
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago