Visual environment for manipulation the lambda calculus expressions
☆71Mar 9, 2026Updated last week
Alternatives and similar repositories for visual-lambda
Users that are interested in visual-lambda are comparing it to the libraries listed below
Sorting:
- A tool for web browsers that simulates execution of the dynamic GoI abstract machine for the lambda-calculus.☆15Oct 1, 2021Updated 4 years ago
- Catalog of visual lambda calculi☆171Jul 15, 2025Updated 8 months ago
- Highly concurrent and fast content processing for Mighty Inference Server☆10Feb 6, 2023Updated 3 years ago
- ☆21Apr 15, 2018Updated 7 years ago
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- MStoical - a Forth like language, but better☆24Mar 23, 2024Updated last year
- A Unifying Cartesian Cubical Set Model☆35Oct 14, 2019Updated 6 years ago
- Mirror of http://chriswarbo.net/git/nix-helpers.git☆13Feb 25, 2026Updated 3 weeks ago
- Tactic for polynomial manipulations☆13Jan 29, 2026Updated last month
- Agda code for experimenting with internal models of cubical type theory☆15Apr 3, 2018Updated 7 years ago
- Topos theory in Lean 4☆17Feb 10, 2025Updated last year
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated 8 months ago
- Animations of lambda term reduction sequences☆164May 30, 2018Updated 7 years ago
- Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.☆29Mar 26, 2019Updated 6 years ago
- TinyVG example files☆14Dec 18, 2021Updated 4 years ago
- A sage module to create (convolved) conformal block table.☆11Apr 10, 2016Updated 9 years ago
- Typst template mimicking acmart latex class☆28Jan 2, 2026Updated 2 months ago
- Clustering notions for the knowledge LaTeX package☆20Jan 27, 2026Updated last month
- An LLM-first programming language.☆33Oct 6, 2025Updated 5 months ago
- An annotation tool for grounding of formulae☆24May 28, 2024Updated last year
- Agent learns to become the worlds top expert on SAT☆151Updated this week
- ERA runtime made with Rust☆14Nov 10, 2024Updated last year
- A self-contained app that allows using TiddlyWiki with nicely working saving☆13Mar 7, 2023Updated 3 years ago
- Classic snake game written in Zig, compiled to WASM.☆12Oct 25, 2021Updated 4 years ago
- Japanese translation of R7RS small spec☆17Mar 26, 2017Updated 8 years ago
- ☆14Mar 10, 2026Updated last week
- 📚 A collection of resources about interaction nets☆27Oct 17, 2025Updated 5 months ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Apr 15, 2021Updated 4 years ago
- RAMADDA Data Repository☆22Mar 11, 2026Updated last week
- A toy dependent typed language.☆46Mar 8, 2026Updated 2 weeks ago
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆15Updated this week
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- React Conf 2017: Cross-Platform Data Visualization in React & React Native☆13Mar 17, 2017Updated 9 years ago
- Geometry types☆34Jan 6, 2021Updated 5 years ago
- 🔭 Open-source trace viewer for OpenTelemetry. Beautiful UI, real-time updates, runs locally. Your session debugger for distributed syste…☆53Updated this week
- A demo of analyzing a TLA+ state graph☆29Apr 7, 2023Updated 2 years ago
- Using a React-esque, declarative syntax for Natural Language Processing☆10Aug 18, 2015Updated 10 years ago
- undocumented github markdown things☆14Dec 18, 2018Updated 7 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Apr 7, 2025Updated 11 months ago