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
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Data structures and algorithms in OCaml☆49Updated 2 years ago
- Compile-time metaprogramming for OCaml☆73Updated 8 months ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- obigstore: database with BigTable-like data model atop LevelDB☆43Updated 7 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- ☆46Updated last month
- OCaml bytecode to C compiler☆100Updated 4 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Functional data structures for Pony☆44Updated 7 years ago
- *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers☆27Updated 8 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- ☆38Updated 5 years ago
- Alice ML implementation☆17Updated 2 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- Scheme R7RS frontend for LLVM☆69Updated 7 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…☆46Updated last year
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 10 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 3 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 3 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 3 years ago
- Java dialect using S-expressions☆31Updated 6 years ago
- [UNMAINTAINED] The Concurrent Schemer☆119Updated 9 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated 11 months ago
- BIT: A Very Compact Scheme System for Microcontrollers☆44Updated 9 years ago
- ☆85Updated 4 years ago