flavioc / meldLinks
Meld virtual machine.
☆29Updated 9 years ago
Alternatives and similar repositories for meld
Users that are interested in meld are comparing it to the libraries listed below
Sorting:
- Meld compiler written in Common Lisp☆14Updated 9 years ago
- A proof assistant.☆12Updated 9 years ago
- A programming language☆77Updated 12 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- Alice ML implementation☆17Updated 2 years ago
- ☆52Updated 8 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- A Haskell HTTP server☆24Updated 7 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆27Updated 4 years ago
- Poplog☆21Updated 14 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- ☆44Updated 8 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 8 years ago
- An implementation of microKanren in Shen☆10Updated 10 years ago
- ☆16Updated 7 years ago
- The Aldor Programming Language☆34Updated 3 months ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Updated 10 years ago
- The Delphin Project☆10Updated 8 years ago
- a forth like language written in fasm assembler☆14Updated 8 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- An R5RS Scheme in JavaScript.☆17Updated 2 years ago
- ☆21Updated 12 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Updated 3 years ago
- A Racket-based Forth / Macro Assembler on steroids for PIC18F☆40Updated last year
- adds an optional type system to J language☆21Updated 9 years ago
- My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)☆26Updated 10 years ago