flavioc / meld
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
- Meld compiler written in Common Lisp☆14Updated 9 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Updated 3 years ago
- A proof assistant.☆12Updated 9 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 7 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.☆27Updated 4 years ago
- ☆16Updated 7 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- A programming language☆77Updated 11 years ago
- Poplog☆21Updated 14 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- An R5RS Scheme in JavaScript.☆16Updated 2 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- The Aldor Programming Language☆34Updated 2 months ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- ☆21Updated 12 years ago
- The Spire Programming Language☆59Updated 10 years ago
- SECD microprocessor reimplementation in VHDL☆35Updated 5 years ago
- experimental computational medium and supporting tools☆22Updated last week
- The Delphin Project☆10Updated 8 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows☆25Updated 12 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆44Updated 13 years ago
- Epic - a Supercombinator Compiler☆65Updated 9 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago