prathyvsh / lambda-calculus-visualizations
Catalog of visual lambda calculi
☆97Updated last year
Related projects ⓘ
Alternatives and complementary repositories for lambda-calculus-visualizations
- 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
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆76Updated 3 weeks ago
- Functional teaching language for use in a discrete mathematics course☆163Updated last week
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- The cuteness implementation of a dependently typed language.☆188Updated last year
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆47Updated 2 months ago
- Play/learn/work with me☆95Updated 3 months ago
- 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
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆78Updated last year
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- Visual environment for manipulation the lambda calculus expressions☆19Updated 10 months ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- Domain Specific Languages for Computational Law☆67Updated 3 weeks ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆213Updated last year
- Agda lecture notes for the Functional Programming course at TU Delft☆117Updated 7 months ago
- A categorical programming language with effects☆267Updated last year
- Relational programming in Haskell. Mostly developed on twitch.☆256Updated 2 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆134Updated 2 weeks ago
- a tiny tile-based editor☆284Updated this week
- The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric …☆114Updated 2 weeks ago
- Effective Algebraic Topology in Haskell☆85Updated last month
- The Art of the Propagator. See also:☆170Updated 7 months ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆205Updated this week
- a datalog interpreter in typescript☆208Updated last month
- A continuation-based backtracking logic programming monad☆85Updated 3 weeks ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆54Updated 2 months ago