Visual environment for manipulation the lambda calculus expressions
☆75Mar 9, 2026Updated 2 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
- Catalog of visual lambda calculi☆176Jul 15, 2025Updated 10 months 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 2 years ago
- Tactic for polynomial manipulations☆13Jan 29, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Agda code for experimenting with internal models of cubical type theory☆15Apr 3, 2018Updated 8 years ago
- Topos theory in Lean 4☆17Feb 10, 2025Updated last year
- A coq plugin to deal with commutative diagrams☆23Jul 6, 2025Updated 10 months ago
- TinyVG example files☆15Dec 18, 2021Updated 4 years ago
- Haskell -> Lazy K translator.☆13Apr 5, 2014Updated 12 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆30Sep 21, 2022Updated 3 years ago
- An LLM-first programming language.☆34Oct 6, 2025Updated 7 months 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years ago
- Classic snake game written in Zig, compiled to WASM.☆12Oct 25, 2021Updated 4 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆135Mar 30, 2026Updated last month
- ☆15Mar 16, 2026Updated 2 months ago
- 📚 A collection of resources about interaction nets☆30Oct 17, 2025Updated 7 months ago
- Lambda normalization and conversion checking benchmarks for various implementations☆60Apr 15, 2021Updated 5 years 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
- Collection of words to help with writing high level applications with Forth language.☆12Jun 27, 2021Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Reasonable Go.☆10Aug 13, 2018Updated 7 years ago
- A toy dependent typed language.☆46May 13, 2026Updated last week
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆15Mar 17, 2026Updated 2 months ago
- 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
- 🩺 A library for compiler diagnostics☆53Apr 6, 2026Updated last month
- Geometry types☆34Jan 6, 2021Updated 5 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13May 21, 2017Updated 9 years ago
- 🔭 Open-source trace viewer for OpenTelemetry. Beautiful UI, real-time updates, runs locally. Your session debugger for distributed syste…☆56Apr 28, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A demo of analyzing a TLA+ state graph☆29Apr 7, 2023Updated 3 years ago
- Using a React-esque, declarative syntax for Natural Language Processing☆10Aug 18, 2015Updated 10 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆25Apr 7, 2025Updated last year
- Code repository for "Portal-Based Path Perturbation for Metropolis Light Transport"☆10Oct 26, 2020Updated 5 years ago
- A little just-in-time compiler thing☆18Sep 28, 2018Updated 7 years ago
- Implementation of binary heaps data structure in pure Lua☆21Sep 20, 2013Updated 12 years ago
- Feature generation for adaptive gradient-domain path tracing☆10May 22, 2019Updated 6 years ago