namin / relaxed-machines
program synthesis with neuro-symbolic differentiable interpreters
☆12Updated last year
Alternatives and similar repositories for relaxed-machines:
Users that are interested in relaxed-machines are comparing it to the libraries listed below
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Bonn Lean course for winter 24/25☆27Updated 3 months ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- ☆37Updated 8 months ago
- Experiments with some ways of automating reasoning in lean 4☆15Updated 11 months ago
- An extension to PUMPKIN PATCH with support for proof repair across type equivalences.☆50Updated this week
- ☆15Updated 9 months ago
- A list of works and resources about double category theory, with a particular focus on applications.☆27Updated 2 years ago
- Monadic Constraint Programming framework☆28Updated 6 years ago
- ☆13Updated 3 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- egraph <-> json☆13Updated 6 months ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- ☆16Updated last year
- ☆12Updated 2 years ago
- Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2…☆18Updated 9 months ago
- Formalization of category theory in Agda☆15Updated 2 years ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆16Updated 4 months ago
- First-order automated theorem prover based on the tableau method☆14Updated 4 months ago
- Monoidal Toposes of Grammars and Semantic Actions☆19Updated this week
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- How to read Lean☆17Updated last month
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
- Formal grammars in Lean 3☆8Updated last year
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 10 months ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Partial Commutative Monoids☆28Updated 2 months ago