flavioc / meld
Meld virtual machine.
☆29Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for meld
- Meld compiler written in Common Lisp☆14Updated 9 years ago
- Epic - a Supercombinator Compiler☆11Updated 14 years ago
- Poplog☆21Updated 14 years ago
- A programming language☆76Updated 11 years ago
- An algebra for Matrix Expressions written in Maude☆24Updated 12 years ago
- A proof assistant.☆12Updated 8 years ago
- My Own Linear Lisp☆37Updated 6 years ago
- Alice ML implementation☆17Updated last year
- Dalvik bytecode analysis in scala☆15Updated 5 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Updated 3 years ago
- An R5RS Scheme in JavaScript.☆16Updated last year
- ☆16Updated 6 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 4 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- The Aldor Programming Language☆33Updated 4 months ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- SECD microprocessor reimplementation in VHDL☆33Updated 5 years ago
- ☆52Updated 7 years ago
- ☆19Updated 7 years ago
- a forth like language written in fasm assembler☆14Updated 8 years ago
- ☆21Updated 11 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Modernized Sisal Interpreter☆27Updated 6 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 2 years ago
- The generalized intensional compiler for a Haskell-like language.☆14Updated 6 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 11 years ago
- git mirror of language-c darcs repo at http://code.haskell.org/language-c☆11Updated last year