bmeurer / ocamljit2
Just-In-Time compiler for the OCaml byte-code runtime.
☆32Updated 12 years ago
Related projects ⓘ
Alternatives and complementary repositories for ocamljit2
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆36Updated 2 years ago
- A pretty-printing combinator library for OCaml☆47Updated 3 months ago
- The language of the future!☆72Updated 10 months ago
- secret project☆17Updated 6 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 3 years ago
- Multiparty Session Types in OCaml☆57Updated 2 weeks ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- A Certified Interpreter for ML with Structural Polymorphism☆43Updated 2 years ago
- Yet another type combinator library☆54Updated 2 years ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- [dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://ced…☆27Updated 5 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 4 months ago
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆30Updated 3 years ago
- 👹 A library for hierarchical names and lexical scoping☆25Updated last month
- ☆26Updated 2 years ago
- OCaml with typed algebraic effects☆48Updated 6 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 3 months ago
- Bigstring intrinsics and fast blits based on memcpy/memmove☆37Updated 4 months ago
- Algorithms to layout trees in a pretty manner.☆36Updated 2 years ago
- Bisector tree implementation in OCaml☆25Updated 7 months ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆43Updated 4 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 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
- flexible 'let rec' generation for MetaOCaml☆26Updated last year
- Runtime types for OCaml (beta version)☆23Updated 2 months ago