efoxepstein / stupid-machinesLinks
Experimentations with Abstract Machines
☆315Updated 2 years ago
Alternatives and similar repositories for stupid-machines
Users that are interested in stupid-machines are comparing it to the libraries listed below
Sorting:
- Lisp implementation in sed☆556Updated 8 years ago
- A self-descriptive column object☆35Updated 10 years ago
- ☆344Updated 7 years ago
- interesting solutions to project euler problems☆84Updated 9 years ago
- A haskell interpreter in javascript☆198Updated 15 years ago
- A terse declarative logic programming language☆117Updated 5 years ago
- A modern syntax for the λ-calculus.☆413Updated 9 years ago
- C compiler and Lisp interpreter in Brainfuck☆165Updated 8 years ago
- A golfing language that is probably terrible☆84Updated 2 months ago
- A regex-based programming language.☆233Updated 2 years ago
- The Converge programming language☆87Updated 5 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- OMeta for JavaScript☆366Updated 11 years ago
- Small functional language that compiles to JavaScript.☆841Updated 11 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆202Updated last year
- A JavaScript Quine written in the JSFuck style☆27Updated 5 years ago
- A Language for High-Level Programming with Self-Extension☆342Updated 8 years ago
- A lazy specializing virtual machine for purely functional languages☆101Updated 7 years ago
- Pyth, an extremely concise language. Try it here:☆271Updated last year
- Lisp implementation in GNU make☆170Updated 10 years ago
- deleted. i recommend using k instead: https://codeberg.org/ngn/k☆234Updated 4 years ago
- A proof of false in Coq.☆99Updated 5 years ago
- ☆40Updated 10 years ago
- Functional language for parallel programming☆433Updated 8 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- 🐣 A blog engine written and proven in Coq☆182Updated 5 years ago
- Polyglots☆83Updated 9 years ago
- A port of Coq to Javascript -- Run Coq in your Browser☆535Updated 2 weeks ago
- IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…☆171Updated last year
- The Incredible Proof Machine☆384Updated 7 months ago