Tipoca / hlvm
High-Level Virtual Machine for statically-typed functional languages.
☆48Updated 13 years ago
Alternatives and similar repositories for hlvm:
Users that are interested in hlvm are comparing it to the libraries listed below
- Scheme R7RS frontend for LLVM☆69Updated 7 years ago
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- Compile-time metaprogramming for OCaml☆72Updated 6 months ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- An OCaml bytecode to LLVM compiler☆42Updated 6 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 3 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- Compiler and tools for the L programming language☆72Updated 9 months ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Alice ML implementation☆17Updated 2 years ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆124Updated 2 years ago
- My Own Linear Lisp☆38Updated 6 years ago
- The MLtonLibrary repository☆35Updated last year
- Data structures and algorithms in OCaml☆49Updated 2 years ago
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆45Updated last year
- ☆85Updated 4 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- Asynchronous event loop for chez scheme with await semantics☆38Updated 2 years ago
- Java dialect using S-expressions☆31Updated 6 years ago
- Nanopass for OCaml☆143Updated 7 years ago
- #lang for writing C code☆15Updated 7 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 3 years ago
- ☆38Updated 5 years ago
- The language of the future!☆72Updated last year
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 3 years ago