tromp / AITLinks
Algorithmic Information Theory, using Binary Lambda Calculus
☆195Updated 3 weeks ago
Alternatives and similar repositories for AIT
Users that are interested in AIT are comparing it to the libraries listed below
Sorting:
- Animations of lambda term reduction sequences☆161Updated 7 years ago
- metamath proof enumerators and other things☆92Updated 2 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆83Updated 8 years ago
- The cuteness implementation of a dependently typed language.☆193Updated 3 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆76Updated last year
- Catalog of visual lambda calculi☆165Updated 6 months ago
- Dependently-typed language with Iverson-style implicit lifting☆126Updated 5 years ago
- Real number computation software☆129Updated 3 years ago
- Programming with pure lambda calculus☆140Updated last month
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆122Updated 2 weeks ago
- SKI combinators☆56Updated 8 years ago
- An interpreter for a J-inspired language☆92Updated 2 years ago
- ☆26Updated 4 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- APL Compiler targeting a typed array intermediate language☆217Updated last year
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆160Updated last year
- Collapsing Towers of Interpreters☆93Updated 6 months ago
- The adventures of a Haskell compiler☆237Updated 2 months ago
- Inpla: Interaction nets as a programming language (the current version)☆317Updated last week
- The Makam Metalanguage☆198Updated 2 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- A graphical interactive proof assistant designed for education☆171Updated last year
- APL is the greatest language ever☆68Updated last year
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆121Updated last week
- ☆138Updated 3 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 8 years ago
- A relational interpretation of Lojban☆35Updated 5 months ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆69Updated 4 months ago
- A minimal proof language.☆211Updated 6 years ago