prathyvsh / lambda-calculus-visualizations
Catalog of visual lambda calculi
☆136Updated last month
Alternatives and similar repositories for lambda-calculus-visualizations
Users that are interested in lambda-calculus-visualizations are comparing it to the libraries listed below
Sorting:
- Animations of lambda term reduction sequences☆131Updated 6 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆158Updated last week
- Programming with pure lambda calculus☆106Updated 3 weeks ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆173Updated 3 years ago
- Inpla: Interaction nets as a programming language (the current version)☆302Updated 6 months ago
- A categorical programming language with effects☆278Updated 2 years ago
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 6 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆72Updated 8 years ago
- Online REPL for BQN☆33Updated last year
- The cuteness implementation of a dependently typed language.☆190Updated 2 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆127Updated last year
- A declarative concatenative programming language☆164Updated 6 months ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆102Updated this week
- A curated list of combinators☆116Updated 2 months ago
- A simple raytracer written in Lean 4☆136Updated last year
- A proof assistant for higher-dimensional type theory☆190Updated this week
- ☆119Updated last year
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- A minimal proof checker.☆74Updated 8 months ago
- ☆113Updated 9 months ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆224Updated 2 months ago
- A graphical interactive proof assistant designed for education☆167Updated 5 months ago
- Embeddable Lambda Prolog Interpreter☆311Updated last week
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆115Updated 4 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆187Updated 2 weeks ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆57Updated last week
- A relational interpretation of Lojban☆33Updated 3 months ago
- Apple array system☆66Updated this week