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
- Compile-time metaprogramming for OCaml☆72Updated 7 months ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- Distributed computing library☆35Updated 6 years ago
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 10 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- Alice ML implementation☆17Updated 2 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 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
- OCaml bytecode to C compiler☆99Updated 4 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 7 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 11 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 3 years ago
- ☆38Updated 5 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆125Updated last week
- My Own Linear Lisp☆40Updated 6 years ago
- kqueue (*BSD) and epoll (Linux) library for Standard ML (MLton and Poly/ML)☆24Updated 10 months ago
- Alef Lazily Evaluates Functions☆31Updated 12 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- The language of the future!☆72Updated last year
- Compiler and tools for the L programming language☆72Updated 10 months ago
- A small implementation of type inference☆78Updated 9 years ago
- Book: ATS programming foundations☆9Updated 9 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 4 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- ☆34Updated 3 weeks ago