woodrush / lambdavm
A programmable virtual CPU written in untyped lambda calculus
☆50Updated 2 years ago
Alternatives and similar repositories for lambdavm:
Users that are interested in lambdavm are comparing it to the libraries listed below
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- Journey to the Center of the Lambda Calculus☆15Updated last year
- An implementation of interaction nets as a forth-like language.☆28Updated 3 weeks ago
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆88Updated 4 years ago
- A high level assembler. https://wellang.github.io/well/☆57Updated 2 weeks ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 9 months ago
- Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU☆91Updated 2 years ago
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- Forth interpreter written in bare-metal assembly running on UEFI. (Unfinished)☆45Updated 4 years ago
- Compile-time const Forth evaluation with macros☆35Updated 2 years ago
- Tiny C-like language and compiler☆29Updated 3 years ago
- r3 programing language - ColorForth inspired☆59Updated this week
- A toy programming language.☆39Updated last year
- NASM port of JONESFORTH!☆55Updated last year
- The Callisto compiler of the 13th month, and other language extras☆59Updated last week
- A collection of small games made using SDL and C/++.☆25Updated last year
- Compact garbage-collected heap and JSON-like object model☆81Updated last year
- ☆27Updated last year
- 16-bit SUBLEQ CPU running eForth - just for fun☆62Updated 3 weeks ago
- The most minimal C you can do real work in☆16Updated 2 years ago
- An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.☆235Updated 11 months ago
- A minimal stack based programming language☆32Updated 10 months ago
- A simple incomplete Scheme-to-C compiler☆67Updated last week
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- a readable language that grows from the silicon☆61Updated last year
- Binary Lambda Calculus Virtual Machine☆52Updated last year
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆156Updated 2 years ago
- C programming language extension: Cedro pre-processor☆49Updated 2 years ago
- nightly synced mirror☆63Updated this week