prathyvsh / lambda-calculus-visualizationsLinks
Catalog of visual lambda calculi
☆157Updated 3 months ago
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☆152Updated 7 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆171Updated last week
- Programming with pure lambda calculus☆127Updated 2 weeks ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆80Updated 2 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 8 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated 3 weeks ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- An implementation of interaction nets in JS.☆132Updated 3 months ago
- a tiny tile-based editor☆311Updated last month
- A categorical programming language with effects☆287Updated 2 years ago
- Visual environment for manipulation the lambda calculus expressions☆29Updated last year
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆114Updated last week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆129Updated 2 months ago
- Inpla: Interaction nets as a programming language (the current version)☆311Updated 11 months ago
- A graphical interactive proof assistant designed for education☆169Updated 11 months ago
- The Principia Rewrite☆227Updated 8 months ago
- Domain Specific Languages for Computational Law☆77Updated 3 months ago
- A small, weird and unpractical programming language.☆103Updated last week
- A logic programming language that has features of both Datalog and answer set programming.☆118Updated this week
- ☆24Updated 3 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆58Updated 8 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 3 weeks ago
- A novel approach to finding your way in APL☆142Updated last month
- SKI combinators☆55Updated 8 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆80Updated 8 years ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆125Updated 10 months ago
- A curated list of combinators☆121Updated this week
- Functional teaching language for use in a discrete mathematics course☆170Updated 4 months ago
- a datalog interpreter in typescript☆212Updated 9 months ago