bntre / visual-lambda
Visual environment for manipulation the lambda calculus expressions
☆19Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for visual-lambda
- Catalog of visual lambda calculi☆100Updated last year
- Algorithmic Information Theory, using Binary Lambda Calculus☆134Updated this week
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆55Updated last month
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆51Updated 3 years ago
- Collapsing Towers of Interpreters☆86Updated 9 months ago
- Survey on materials that touch on the history of Lambda Calculus☆12Updated 4 years ago
- A graphical interactive proof assistant designed for education☆161Updated this week
- Resources for making sense of topology and its concepts☆17Updated 4 years ago
- The Brown Benchmark for Table Types (B2T2)☆62Updated 5 months ago
- Programming with pure lambda calculus☆88Updated 2 weeks ago
- SKI combinators☆50Updated 7 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 3 months ago
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆38Updated 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 relational interpretation of Lojban☆32Updated this week
- Online REPL for BQN☆33Updated last year
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆27Updated 7 years ago
- Template to effortlessly build math-rich websites☆39Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- 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
- ☆33Updated 7 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 3 years ago
- Mystery Languages☆35Updated last year
- A simple Prolog interpreter☆43Updated 2 years ago
- OCaml code to construct an NFA from a regular expression☆49Updated 4 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆37Updated last month
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆76Updated last month
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆59Updated this week