bntre / visual-lambdaLinks
Visual environment for manipulation the lambda calculus expressions
☆29Updated 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☆158Updated 3 months ago
- Animations of lambda term reduction sequences☆152Updated 7 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆173Updated 3 weeks ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆116Updated this week
- Programming with pure lambda calculus☆127Updated last week
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆117Updated last week
- The Principia Rewrite☆228Updated 9 months ago
- Language based on Rewriting Logic☆143Updated 3 weeks ago
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆112Updated last year
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated last month
- 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
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- A categorical programming language with effects☆287Updated 2 years ago
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆13Updated 4 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆81Updated 8 years ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnapl☆146Updated 2 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆64Updated last year
- A graphical interactive proof assistant designed for education☆169Updated 11 months ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- SKI combinators☆55Updated 8 years ago
- Selected Papers of Dana S. Scott☆168Updated last year
- ☆119Updated last year
- TinyAPL, a tiny APL dialect and interpreter in Haskell☆67Updated last month
- Source of metamath book☆51Updated last year
- Embeddable Lambda Prolog Interpreter☆329Updated last week
- A Jupyter kernel for Dyalog APL☆75Updated 3 weeks ago
- Accompanying materials for "A Core Calculus for Documents"☆35Updated 2 years ago
- Collapsing Towers of Interpreters☆91Updated 4 months ago