Binary Lambda Calculus Virtual Machine
☆61Jan 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
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆44May 29, 2026Updated last month
- A Gemini client for Varvara, written in Finwë.☆10Sep 21, 2024Updated last year
- PilOS - A Stand-Alone Operating System☆14Aug 1, 2017Updated 8 years ago
- A Markdown to HTML compiler written in Haskell.☆17Apr 15, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- S. Tucker Taft's M6800 LISP Interpreter (BYTE August 1979)☆14Jan 15, 2024Updated 2 years ago
- A small embeddable scripting language for Gleam.☆17Jul 24, 2022Updated 3 years ago
- Soul - an esoteric concatenative language☆12Apr 30, 2024Updated 2 years ago
- Regexp code for https://swtch.com/~rsc/regexp/☆45Apr 30, 2024Updated 2 years ago
- Minimal Lisp/Forth☆11Jan 5, 2025Updated last year
- NASM port of JONESFORTH!☆58Sep 27, 2023Updated 2 years ago
- tiny emacs☆28Dec 11, 2021Updated 4 years ago
- Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction☆51Jun 25, 2025Updated last year
- ☆18Jul 2, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Land of Lisp's Orc Battle in Forth☆19Oct 18, 2024Updated last year
- ☆14Jul 16, 2024Updated last year
- Atlast is a FORTH-like threaded language, implemented in standard C, which can either be used stand-alone or embedded in applications to …☆59Feb 22, 2023Updated 3 years ago
- Mal (Make A Lisp) Compiler in C☆53Aug 2, 2020Updated 5 years ago
- An operating system🧑💻 written using C and Sage☆46May 11, 2024Updated 2 years ago
- ☆46May 30, 2025Updated last year
- ☆26Updated this week
- A stack-based language implemented in RISC-V assembly☆17Apr 4, 2024Updated 2 years ago
- kg is a very small Emacs clone in Go (golang.org)☆16Dec 21, 2021Updated 4 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.
- Inspired by Lispkit Lisp, this is a series of DIY Forths☆41Jan 5, 2026Updated 5 months ago
- Task runner. It provides useful help messages and supports interactive prompts and validation of arguments☆57Updated this week
- Automatically compile and link C programs☆16Jul 24, 2010Updated 15 years ago
- mobile wrapper of Library Genesis☆10Feb 21, 2021Updated 5 years ago
- First-generation of HolonForth. - Developing code in browsers inspired by Smalltalk, using book-like structures with Modules, Groups, and…☆21Oct 12, 2020Updated 5 years ago
- javascript library by the dreamberd foundation☆27Jul 28, 2023Updated 2 years ago
- A self-hosted Ada-inspired programming language for very small systems.☆270Jun 7, 2026Updated 3 weeks ago
- Awki is a lightweight wiki written in awk. These are my patches, original here: http://awkiawki.bogosoft.com/☆28Dec 1, 2023Updated 2 years ago
- ☆60Apr 25, 2024Updated 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.
- Ash is an Ada Simple HTTP Server☆13Sep 11, 2021Updated 4 years ago
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago
- End to end declarative web programming with no JS using htmx and SWI-Prolog☆13Aug 28, 2020Updated 5 years ago
- Sketches for Zig☆26May 24, 2026Updated last month
- LÖVE example of an animated 2D mesh☆16Aug 18, 2022Updated 3 years ago
- Fortran 2003 wrappers for POSIX threads☆12Oct 13, 2017Updated 8 years ago
- Uses a genetic algorithm to "evolve" brainfuck programs with desirable behaviours☆12May 13, 2026Updated last month