A lambda calculus interpreter in python.
☆13Jul 1, 2023Updated 3 years ago
Alternatives and similar repositories for Lcalc
Users that are interested in Lcalc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Donatello is a DotNet lisp-like language☆10Apr 17, 2020Updated 6 years ago
- A Python wrapper for the bbhash library for Minimal Perfect Hashing☆19Oct 26, 2025Updated 8 months ago
- Calculate any index of the Cartesian Product of any number of sequences in no time!☆10Oct 12, 2020Updated 5 years ago
- Working through the Book Lisp In Small Pieces☆13Jun 8, 2022Updated 4 years ago
- An Eulerian fluid simulation written in Rust to learn the language☆13Mar 16, 2024Updated 2 years 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.
- Passerine's package manager.☆22Jul 29, 2022Updated 3 years ago
- demonstrating shunting yard algorithm and evaluation of arithmetic expressions☆15Jan 11, 2025Updated last year
- A BTree implementation as a python C extension☆25May 11, 2015Updated 11 years ago
- Interpreters from Kamin's PLIBA book, rewritten in Python 3☆20Jun 8, 2021Updated 5 years ago
- A Snazzy README generator for your public API built on SourceKitten☆12May 28, 2016Updated 10 years ago
- a storage less password manager☆16Jun 3, 2020Updated 6 years ago
- Source Code for 'The Joys of Hashing' by Thomas Mailund☆20Feb 11, 2019Updated 7 years ago
- A repository used to reproduce Axelrod's tournament☆16May 7, 2020Updated 6 years ago
- A high-level programming language written in Scala☆36Nov 26, 2023Updated 2 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.
- A portable Forth compiler☆12Nov 24, 2024Updated last year
- A spreadsheet engine implemented in Python.☆19Aug 24, 2024Updated last year
- A library for ranking collection☆38Oct 9, 2020Updated 5 years ago
- An LR(1) parser generator, implemented as a proc macro☆16Apr 21, 2023Updated 3 years ago
- (Hopefully) a compiler for my first language named "Pie"☆29Jun 19, 2026Updated last week
- Code for enumeration from a CFG☆20Sep 25, 2023Updated 2 years ago
- A NEAT library in Python☆14Jun 4, 2022Updated 4 years ago
- A notional machine for the SMoL languages☆16Apr 10, 2026Updated 2 months ago
- Ahnfelt's Type Inference by Example but implemented in Gleam☆12Jul 28, 2023Updated 2 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.
- Tools for building documentation with Sphinx, Graphviz and LaTeX☆13Aug 8, 2025Updated 10 months ago
- A text-based real-time strategy game [WIP]☆17Mar 7, 2023Updated 3 years ago
- A Python interpreter for APL based off of the LSBASI series.☆16Apr 4, 2021Updated 5 years ago
- A Rust compiler backend focused on compilation speed.☆16Sep 8, 2022Updated 3 years ago
- A .NET library that gets you chatting with web APIs quickly.☆30Jun 22, 2022Updated 4 years ago
- ncurses API/FFI for Racket☆17Nov 21, 2019Updated 6 years ago
- A Forth-oriented VM and debugger☆22Sep 21, 2025Updated 9 months ago
- cli-command template☆19Sep 18, 2024Updated last year
- ☆10May 2, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Jul 14, 2018Updated 7 years ago
- Edina - A simple stack-oriented compiled programming language.☆15Jun 8, 2023Updated 3 years ago
- Simulator of digirule 2A (https://bradsprojects.com/digirule2/) written in Python (by roro & wawa)☆12Jul 15, 2020Updated 5 years ago
- Config files and scripts for the XMT (eXtended Mobile Technology) platform.☆10Jun 14, 2020Updated 6 years ago
- An interpreted array programming language☆16Jan 23, 2026Updated 5 months ago
- A load balancing proxy with mTLS encryption via QUIC or HTTP/2[WIP]☆15Jul 4, 2023Updated 2 years ago
- A simple Programming Language Compiler to Lambda-Calculus, with a Lambda-Runtime☆13Jun 30, 2023Updated 3 years ago