woodrush / lambdavmLinks
A programmable virtual CPU written in untyped lambda calculus
☆55Updated 2 years ago
Alternatives and similar repositories for lambdavm
Users that are interested in lambdavm are comparing it to the libraries listed below
Sorting:
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.☆238Updated 2 months ago
- 16-bit SUBLEQ CPU running eForth - just for fun☆67Updated last week
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆90Updated 4 years ago
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- A collection of small games made using SDL and C/++.☆27Updated last year
- Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU☆94Updated 2 years ago
- Forth interpreter written in bare-metal assembly running on UEFI. (Unfinished)☆46Updated 4 years ago
- nightly synced mirror☆78Updated this week
- Journey to the Center of the Lambda Calculus☆14Updated last year
- A high level assembler. https://wellang.github.io/well/☆56Updated last week
- BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.☆74Updated 3 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- The Callisto compiler of the 13th month, and other language extras☆63Updated last week
- Compile-time const Forth evaluation with macros☆35Updated 2 years ago
- a readable language that grows from the silicon☆60Updated last year
- An implementation of interaction nets as a forth-like language.☆34Updated 2 months ago
- A bootsector FORTH☆147Updated 3 months ago
- The only true brainfuck-targetting assembler.☆117Updated 2 years ago
- A game in COBOL using SDL2☆17Updated last year
- r3 programing language - ColorForth inspired☆62Updated this week
- The single instruction language - Flip a bit, then Jump☆120Updated 6 months ago
- Tiny visual 8086 emulator based on Blink☆72Updated last year
- B compiler☆71Updated 2 weeks ago
- An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.☆18Updated 2 years ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- A tail call optimizing LISP interpreter that runs on BrainFuck☆22Updated 7 years ago
- A Programming Language for Everyone and Everything☆35Updated 5 months ago
- Example programs written for SectorLISP☆23Updated 2 years ago