Visual environment for manipulation the lambda calculus expressions
☆77Mar 9, 2026Updated 3 months ago
Alternatives and similar repositories for visual-lambda
Users that are interested in visual-lambda are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Highly concurrent and fast content processing for Mighty Inference Server☆10Feb 6, 2023Updated 3 years ago
- Catalog of visual lambda calculi☆175Jul 15, 2025Updated 11 months ago
- MStoical - a Forth like language, but better☆24Mar 23, 2024Updated 2 years ago
- Tactic for polynomial manipulations☆13Jan 29, 2026Updated 5 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Agda code for experimenting with internal models of cubical type theory☆16Apr 3, 2018Updated 8 years ago
- Topos theory in Lean 4☆18Feb 10, 2025Updated last year
- An absurdly tiny Lisp interpreter in OCaml☆32Dec 11, 2011Updated 14 years ago
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated 11 months ago
- Minimal FORTH interpreter for 64-bit Linux systems. Based on jonesforth.☆30Mar 26, 2019Updated 7 years ago
- Run keras models with a Flux backend☆21Aug 7, 2018Updated 7 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- RISC-V V Extension Encoder☆11Jul 28, 2022Updated 3 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆31Sep 21, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An LLM-first programming language.☆35Oct 6, 2025Updated 8 months ago
- Agent learns to become the worlds top expert on SAT☆180Jun 16, 2026Updated 2 weeks ago
- A self-contained app that allows using TiddlyWiki with nicely working saving☆13Mar 7, 2023Updated 3 years ago
- Create, parse Apple Plists, plays nicely with Yojson☆10Jan 19, 2017Updated 9 years ago
- ERA runtime made with Rust☆14Jun 15, 2026Updated 2 weeks ago
- High-ish performance, declarative, super minimal DOM tools for HTML & SVG☆12Jul 22, 2021Updated 4 years ago
- Japanese translation of R7RS small spec☆17Mar 26, 2017Updated 9 years ago
- ☆16Jun 22, 2026Updated last week
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆137Mar 30, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Emacs major mode for the V programming language☆14May 4, 2023Updated 3 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆58Apr 15, 2021Updated 5 years ago
- 📚 A collection of resources about interaction nets☆32Jun 9, 2026Updated 3 weeks ago
- raylib + LuaJIT + Yuescript☆12Mar 1, 2022Updated 4 years ago
- A proof-of-concept demo of Bolero serverless SPA running on GitHub Pages using WebAssembly☆14Mar 24, 2021Updated 5 years ago
- Reasonable Go.☆10Aug 13, 2018Updated 7 years ago
- A toy dependent typed language.☆49Updated this week
- 🩺 A library for compiler diagnostics☆54Jun 19, 2026Updated last week
- Geometry types☆36Jan 6, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- コンパイラ・IDE・OS・VMM・IME の開発のための和書☆17Mar 5, 2026Updated 3 months ago
- ESLint Shareable Config for Flow support in JavaScript Standard Style☆13Aug 20, 2016Updated 9 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☆26Apr 7, 2025Updated last year
- Processing code to implement John Fairfield's Spellcaster☆10Jan 5, 2016Updated 10 years ago
- Connect Owl with other accelerators and numerical frameworks with symbolic maths☆20Apr 11, 2022Updated 4 years ago
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.☆71Jun 3, 2026Updated 3 weeks ago