tromp / AIT
Algorithmic Information Theory, using Binary Lambda Calculus
☆134Updated last week
Related projects ⓘ
Alternatives and complementary repositories for AIT
- Collapsing Towers of Interpreters☆86Updated 9 months ago
- The cuteness implementation of a dependently typed language.☆188Updated last year
- metamath proof enumerators and other things☆87Updated 4 months ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆151Updated 7 months ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- An interpreter of Hagino's Categorical Programming Language (CPL).☆115Updated 6 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆51Updated 3 years ago
- The adventures of a Haskell compiler☆213Updated last week
- A less devious proof assistant☆222Updated last year
- APL Compiler targeting a typed array intermediate language☆212Updated 2 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆256Updated 2 months ago
- SKI combinators☆50Updated 7 years ago
- The Makam Metalanguage☆194Updated last year
- APL is the greatest language ever☆65Updated last year
- Real number computation software☆121Updated 2 years ago
- ☆59Updated 5 years ago
- Charity language interpreters and literature☆114Updated 5 years ago
- interpret☆101Updated last week
- Embeddable Lambda Prolog Interpreter☆290Updated this week
- A categorical programming language with effects☆267Updated last year
- The Om programming language.☆168Updated last month
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆240Updated 10 years ago
- The Art of the Propagator. See also:☆170Updated 7 months ago
- an implementation of stuck macros☆134Updated 3 weeks ago
- staged relational interpreters: running with holes, faster☆125Updated last week
- An interpreter for a J-inspired language☆89Updated last year
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆111Updated this week