Tipoca / hlvmLinks
High-Level Virtual Machine for statically-typed functional languages.
☆49Updated 14 years ago
Alternatives and similar repositories for hlvm
Users that are interested in hlvm are comparing it to the libraries listed below
Sorting:
- JIT compiler for Scheme targeting x86-64 platforms☆32Updated 6 years ago
- Compile-time metaprogramming for OCaml☆75Updated last year
- Compiler and tools for the L programming language☆72Updated last year
- Scheme R7RS frontend for LLVM☆69Updated 8 years ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆132Updated 2 months ago
- OCaml bytecode to C compiler☆103Updated 5 years ago
- Data structures and algorithms in OCaml☆54Updated 3 weeks ago
- Camlp4 tool☆103Updated 4 months ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- A simple cross-platform OCaml code editor built for top-level evaluation.☆65Updated 3 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 3 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 10 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Updated 7 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆223Updated 3 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- A Java JIT compiler written in Haskell☆73Updated 12 years ago
- Go! Lisp in OCaml☆75Updated 13 years ago
- trivial micro compiler written in OCaml☆66Updated 6 years ago
- Asynchronous event loop for chez scheme with await semantics☆39Updated 3 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated 2 years ago
- ☆38Updated 6 years ago
- A redis client for Racket.☆17Updated 10 years ago
- Programming language designed as an experiment to explore mutation and aliasing control☆35Updated 5 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- BIT: A Very Compact Scheme System for Microcontrollers☆44Updated 9 years ago
- Shen KLambda to KLVM translator.☆31Updated 10 years ago
- ☆71Updated 5 years ago
- An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml☆15Updated 5 years ago
- ☆40Updated 9 years ago
- Strongtalk VM☆103Updated 4 years ago