bntre / visual-lambdaLinks
Visual environment for manipulation the lambda calculus expressions
☆25Updated last year
Alternatives and similar repositories for visual-lambda
Users that are interested in visual-lambda are comparing it to the libraries listed below
Sorting:
- Catalog of visual lambda calculi☆143Updated 3 months ago
- types for various combinatory systems, especialy tree calculi☆18Updated 5 months ago
- Animations of lambda term reduction sequences☆139Updated 7 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 10 months ago
- Slog 1.0☆43Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆56Updated 4 months ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆161Updated last week
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- Resources for making sense of topology and its concepts☆18Updated 4 years ago
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆18Updated 2 years ago
- Leibniz - a Digital Scientific Notation☆35Updated 3 months ago
- A relational interpretation of Lojban☆34Updated this week
- Prototypes: Object Orientation, Functionally☆46Updated 2 weeks ago
- SKI combinators☆55Updated 8 years ago
- Programming with pure lambda calculus☆111Updated 3 weeks ago
- A sudoku game where you have to prove that your deductions are valid☆114Updated 2 years ago
- minimalistic s-expression based term rewriting framework☆15Updated last month
- An embeddable flow-oriented language.☆71Updated 2 weeks ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Updated 4 years ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- SPSC: A Small Positive Supercompiler☆38Updated last year
- A Jupyter kernel for Dyalog APL☆72Updated last week
- Source of metamath book☆48Updated last year
- A domain-specific language (DSL) for parsing regular, context-free and recursively enumerable languages.☆17Updated 2 years ago
- A formal consistency proof of Quine's set theory New Foundations☆72Updated 3 weeks ago
- Tutorial for the CHR system☆16Updated 4 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- The rule-based graph programming language GP 2☆68Updated last year