jfeser / L2Links
λ² is a tool for synthesizing functional programs from input-output examples.
☆69Updated 2 years ago
Alternatives and similar repositories for L2
Users that are interested in L2 are comparing it to the libraries listed below
Sorting:
- Offline partial evaluation system for Prolog written using the cogen approach☆20Updated 8 years ago
- Real number computation software☆125Updated 2 years ago
- A mechanisation of Wasm in Isabelle.☆27Updated this week
- Course on Metaprogramming☆71Updated 2 weeks ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- EGraphs in OCaml☆65Updated last year
- General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]☆48Updated 8 months ago
- A compiler for the gradually typed lambda calculus☆75Updated 3 years ago
- Interpreter for the reversible functional language rFun☆36Updated 7 years ago
- Educational Proof Assistant for Type Theory☆74Updated 11 months ago
- Coq library for working with de Bruijn indices [maintainer=@KevOrr]☆30Updated 3 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- ☆29Updated 9 years ago
- Coq Protocol Playground with Se(xp)rialization of Internal Structures.☆135Updated 8 months ago
- αProlog☆18Updated 2 years ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆146Updated 9 months ago
- Certified Machine Learning☆41Updated 4 years ago
- Gallina to Bedrock2 compilation toolkit☆57Updated last week
- HoTT in Lean 3☆80Updated 4 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆44Updated 2 months ago
- An encyclopedia of proofs☆60Updated 8 months ago
- Synthesis of Heap-Manipulating Programs from Separation Logic☆127Updated 2 years ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- A (formalised) general definition of type theories☆57Updated 4 years ago
- Hoare Type Theory☆77Updated last month
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated 2 weeks ago
- A formalisation of the Calculus of Constructions☆71Updated 11 months ago
- ☆55Updated 3 months ago