prathyvsh / lambda-calculus-visualizations
Catalog of visual lambda calculi
☆100Updated last year
Related projects ⓘ
Alternatives and complementary repositories for lambda-calculus-visualizations
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- The cuteness implementation of a dependently typed language.☆188Updated last year
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 years ago
- A graphical interactive proof assistant designed for education☆161Updated 2 months ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆76Updated last month
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 2 years ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- Play/learn/work with me☆95Updated 3 months ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 2 months ago
- A categorical programming language with effects☆267Updated last year
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 7 months ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆206Updated 2 weeks ago
- ☆109Updated 4 months ago
- The adventures of a Haskell compiler☆213Updated last week
- Source material for Algebra-Driven Design☆137Updated last year
- a tiny tile-based editor☆284Updated this week
- A minimal proof checker.☆65Updated 2 months ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- a datalog interpreter in typescript☆208Updated last month
- Benchmarks for capture-avoiding substitution☆107Updated 2 years ago
- The Principia Rewrite☆207Updated 6 months ago
- A pure type system implemented in OCaml☆77Updated 3 years ago
- an implementation of stuck macros☆132Updated 2 weeks ago
- Visual environment for manipulation the lambda calculus expressions☆19Updated 10 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆38Updated 4 years ago
- A continuation-based backtracking logic programming monad☆85Updated last week
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆38Updated last week