j-towns / flipperLinks
Reversible programming in Agda
☆12Updated 2 years ago
Alternatives and similar repositories for flipper
Users that are interested in flipper are comparing it to the libraries listed below
Sorting:
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 9 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆25Updated this week
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Formal grammars in Lean 3☆8Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Building group theory from scratch in Lean☆60Updated 4 years ago
- Demo for dependent types + runtime code generation☆69Updated 5 months ago
- Partition refinement☆15Updated last year
- maze game encoded in Lean 4 syntax☆60Updated last month
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…