Element0Lang / element-0View external linksLinks
A small embeddable Lisp for the Zig ecosystem λ
☆26Updated this week
Alternatives and similar repositories for element-0
Users that are interested in element-0 are comparing it to the libraries listed below
Sorting:
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Mar 30, 2011Updated 14 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 4 months ago
- Category Theory in Programming☆13Jan 22, 2026Updated 3 weeks ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 9 years ago
- Formalising Turing Machines In Coq (bachelor's thesis)☆12Jul 5, 2023Updated 2 years ago
- Implementations of various toy programming languages☆12Apr 19, 2018Updated 7 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- Linearizability Hoare Logic