woodrush / lambdavmLinks
A programmable virtual CPU written in untyped lambda calculus
☆58Updated 3 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
- Minimal operating system for x86 intended as a basis for benchmarking and running Gambit☆93Updated 5 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago
- A high level assembler.☆58Updated this week
- Binary Lambda Calculus Virtual Machine☆56Updated last year
- Forth interpreter written in bare-metal assembly running on UEFI. (Unfinished)☆49Updated 4 years ago
- Post-Apocalyptic Computing: bootstrapping Forth environment for LC-3 CPU☆92Updated 3 years ago
- The only true brainfuck-targetting assembler.☆119Updated 3 years ago
- An implementation of interaction nets as a forth-like language.☆36Updated 2 weeks ago
- A minimal Z80 implementation.☆22Updated 3 years ago
- The most minimal C you can do real work in☆16Updated 3 years ago
- The Callisto compiler of the 13th month, and other language extras☆74Updated 2 weeks ago
- BCause (pronounced "because") is a compiler for the old B programming language (1969) for modern systems.☆82Updated 7 months ago
- 16-bit SUBLEQ CPU running eForth - just for fun☆77Updated last week
- An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.☆246Updated 6 months ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 8 years ago
- A game in COBOL using SDL2☆20Updated 2 years ago
- A small, weird and unpractical programming language.☆102Updated last week
- b4 : a tiny forth-like virtual machine☆40Updated this week
- An effort to transcribe Ken Iverson's "A Programming Language" book to LaTeX.☆18Updated 3 months ago
- Journey to the Center of the Lambda Calculus☆14Updated 2 years ago
- A bootsector FORTH☆151Updated 8 months ago
- A bootable x86 lisp interpreter, assembler, and simple text editor that lets you run the code you type in so you can bootstrap anything☆40Updated last year
- File format and optimizer for programs encoded in binary lambda calculus☆17Updated last year
- The future of programming.☆69Updated 4 years ago
- A collection of small games made using SDL and C/++.☆26Updated 3 weeks ago
- The single instruction language - Flip a bit, then Jump☆131Updated 10 months ago
- A system to amalgamate any features you want into any language you need☆26Updated 3 years ago
- Haskell to brainfuck compiler☆30Updated 11 years ago