Visual environment for manipulation the lambda calculus expressions
☆30Updated this 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☆169Jul 15, 2025Updated 7 months ago
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.☆62Updated this week
- Animations of lambda term reduction sequences☆162May 30, 2018Updated 7 years ago
- ☆12Sep 21, 2023Updated 2 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Apr 15, 2021Updated 4 years ago
- ☆13Aug 23, 2025Updated 6 months ago
- ☆12Dec 16, 2024Updated last year
- Official implementation of the paper "On the Importance of Environments in Human-Robot Coordination", published in RSS 2021.☆16May 1, 2024Updated last year
- File Permissions Plugin is a repository that provides a simple plugin to change file permissions directly from IntelliJ.☆10Apr 27, 2025Updated 10 months ago
- Home Assistant integration of Elehant Water Sensors☆15Mar 2, 2023Updated 2 years ago
- This repository will be a community-curated list of software and resources that explicitly avoid the integration of artificial intelligen…☆68Dec 24, 2025Updated 2 months ago
- V2 of CodeGraphy. VSCode force-based graph extension for displaying file connections☆13Jun 10, 2023Updated 2 years ago
- Prototype of TypeChat in Python☆11Oct 21, 2023Updated 2 years ago
- ☆10May 27, 2024Updated last year
- ACL24☆11Jun 7, 2024Updated last year
- Materials for a training workshop on 'Introduction to Julia for Computational Science'☆12Jul 9, 2025Updated 7 months ago
- A mathematically sound version control system based on patch theory☆38Jan 20, 2026Updated last month
- Ttris is a tetraminoes game for TRS-80 Model 1/3 computers.☆13Sep 20, 2023Updated 2 years ago
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 2 months ago
- Easily switch toggle to light and dark theme for your Docsify, customizable and works in any CSS themes.☆10Jul 13, 2025Updated 7 months ago
- (Original: code.google.com/p/pylinda) A Linda implementation in Python.☆12Jun 16, 2022Updated 3 years ago
- Infer Types by Python Tracing☆11Aug 29, 2022Updated 3 years ago
- ☆12Mar 4, 2025Updated 11 months ago
- An exploration of possibilities with the bevy_mod_scripting crate☆12Apr 8, 2024Updated last year
- raylib + LuaJIT + Yuescript☆12Mar 1, 2022Updated 4 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 11 months ago
- ☆13Jan 17, 2025Updated last year
- Collection of words to help with writing high level applications with Forth language.☆12Jun 27, 2021Updated 4 years ago
- ☆11Jan 22, 2022Updated 4 years ago
- Code for EMNLP'24 paper - On Diversified Preferences of Large Language Model Alignment☆16Aug 6, 2024Updated last year
- Cayley Dickson algebra implementation in python☆12Jan 3, 2019Updated 7 years ago
- A pipeline for phylogenetic diversity analysis of GBIF-mediated data☆13May 30, 2025Updated 9 months ago
- an arcane Lisp dialect written in Go for fun and prosperity☆12Jan 7, 2026Updated last month
- Fix any failing command with ChatGPT☆12May 8, 2023Updated 2 years ago
- Resources for conference program chairs, especially in systems/PL areas of computer science.☆11May 14, 2023Updated 2 years ago
- Benchmarks for Business Document Foundation Models☆10Apr 4, 2024Updated last year