Binary Lambda Calculus Virtual Machine
☆60Jan 24, 2024Updated 2 years ago
Alternatives and similar repositories for blc
Users that are interested in blc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- Work-in-progress vector search SQLite extension that runs anywhere.☆10Jul 27, 2024Updated 2 years ago
- Docker image for redbean from the "scratch" container☆12Jul 25, 2022Updated 4 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆213Sep 23, 2026Updated last month
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 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.
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- Blue - a colorForth/fasmg love child☆12Nov 28, 2025Updated 11 months ago
- Bootstrapping LISP in a Boot Sector☆1,529Jun 14, 2026Updated 4 months ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 9 years ago
- effects, but optimal☆16Jan 9, 2026Updated 9 months ago
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 9 years ago
- An Impractical Stack Language☆14Jun 12, 2020Updated 6 years ago
- Regexp code for https://swtch.com/~rsc/regexp/☆46Apr 30, 2024Updated 2 years ago
- Soul - an esoteric concatenative language☆12Apr 30, 2024Updated 2 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.
- A small embeddable scripting language for Gleam.☆17Jul 24, 2022Updated 4 years ago
- Simple forth environment written in 2002☆12Dec 17, 2015Updated 10 years ago
- Linux fork of FreeBSD crunch☆17Jan 30, 2012Updated 14 years ago
- A programmable virtual CPU written in untyped lambda calculus☆72Oct 20, 2022Updated 4 years ago
- tiny emacs☆28Dec 11, 2021Updated 4 years ago
- Inspired by Lispkit Lisp, this is a series of DIY Forths☆42Jul 5, 2026Updated 3 months ago
- S. Tucker Taft's M6800 LISP Interpreter (BYTE August 1979)☆15Jan 15, 2024Updated 2 years ago
- Source code for haskle.net☆33Aug 30, 2023Updated 3 years ago
- 📚 A collection of resources about normalization-by-evaluation☆30Jul 29, 2025Updated last year
- 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.
- Lisp for JSON☆20Dec 29, 2017Updated 8 years ago
- Execute source code within buffer☆10Jul 4, 2023Updated 3 years ago
- MOVED TO CODEBERG☆13Aug 24, 2025Updated last year
- Counting until the heat death of the universe, and broadcasting the counter every second over 100Mbps ethernet.☆36Sep 1, 2026Updated last month
- Playing with Factor☆29May 6, 2021Updated 5 years ago
- Find checksum (crc8, xor, add) parameters in a set of messages.☆28Jan 14, 2023Updated 3 years ago
- The Titan programming language.☆15Apr 16, 2024Updated 2 years ago
- ☆18Jul 2, 2024Updated 2 years ago
- Mal (Make A Lisp) Compiler in C☆54Aug 2, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- High-level immediate mode user interface library based on Nuklear IM GUI library☆19Jun 13, 2021Updated 5 years ago
- ☆15Jul 16, 2024Updated 2 years ago
- A small λ-calculus interpreter in C☆60Sep 3, 2014Updated 12 years ago
- StumpWM Debugger☆11Apr 19, 2025Updated last year
- Unusable but free and open-source window manager for Linux and *BSD (<500LOC)☆14Jul 6, 2019Updated 7 years ago
- Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction☆57Jul 22, 2026Updated 3 months ago
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆50Oct 6, 2026Updated 3 weeks ago