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☆73Updated 9 months ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- Distributed computing library☆35Updated 6 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- Data structures and algorithms in OCaml☆49Updated 2 years ago
- A Java JIT compiler written in Haskell☆72Updated 11 years ago
- Optimizing Abstract Abstract Machines☆31Updated 8 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 3 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆14Updated 4 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
- #lang for writing C code☆15Updated 7 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 8 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- [UNMAINTAINED] The Concurrent Schemer☆119Updated 9 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 11 years ago
- The language of the future!☆72Updated last year
- Alice ML implementation☆17Updated 2 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated last year
- Auto define Racket bindings to C by parsing header files.☆29Updated 2 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- A redis client for Racket.☆17Updated 9 years ago
- Racket support for HTTP 1.1.☆26Updated 11 months ago
- Programming language designed as an experiment to explore mutation and aliasing control☆33Updated 5 years ago
- Raft consensus algorithm implementation☆33Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago