Visual environment for manipulation the lambda calculus expressions
☆75Mar 9, 2026Updated last month
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☆174Jul 15, 2025Updated 9 months ago
- Highly concurrent and fast content processing for Mighty Inference Server☆10Feb 6, 2023Updated 3 years ago
- ☆21Apr 15, 2018Updated 8 years ago
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- MStoical - a Forth like language, but better☆24Mar 23, 2024Updated 2 years ago
- A Unifying Cartesian Cubical Set Model☆35Oct 14, 2019Updated 6 years ago
- Topos theory in Lean 4☆17Feb 10, 2025Updated last year
- An absurdly tiny Lisp interpreter in OCaml☆32Dec 11, 2011Updated 14 years ago
- Animations of lambda term reduction sequences☆167May 30, 2018Updated 7 years 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
- TinyVG example files☆15Dec 18, 2021Updated 4 years ago
- A sage module to create (convolved) conformal block table.☆11Apr 10, 2016Updated 10 years 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.
- ☆10Sep 7, 2022Updated 3 years ago
- An example project to demonstrate https://github.com/rvantonder/hack-parallel☆13May 18, 2020Updated 5 years ago
- Typst template mimicking acmart latex class☆31Jan 2, 2026Updated 3 months ago
- Clustering notions for the knowledge LaTeX package☆20Jan 27, 2026Updated 3 months 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
- A self-contained app that allows using TiddlyWiki with nicely working saving☆13Mar 7, 2023Updated 3 years ago
- introduction to dataflow analysis using julia☆14Oct 26, 2020Updated 5 years 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆132Mar 30, 2026Updated last month
- ☆15Mar 16, 2026Updated last month
- Emacs major mode for the V programming language☆14May 4, 2023Updated 2 years ago
- 📚 A collection of resources about interaction nets☆28Oct 17, 2025Updated 6 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
- Reasonable Go.☆10Aug 13, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 3 weeks ago
- Geometry types☆34Jan 6, 2021Updated 5 years ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13May 21, 2017Updated 8 years ago
- コンパイラ・IDE・OS・VMM・IME の開発のための和書☆17Mar 5, 2026Updated last month
- The Infinite Jukebox algorithm extracted from https://github.com/UnderMybrella/EternalJukebox. Decoupled from the code that does renderin…☆14Sep 28, 2023Updated 2 years ago