bmeurer / ocamljit2
Just-In-Time compiler for the OCaml byte-code runtime.
☆32Updated 12 years ago
Alternatives and similar repositories for ocamljit2:
Users that are interested in ocamljit2 are comparing it to the libraries listed below
- 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
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- A pretty-printing combinator library for OCaml☆49Updated 5 months ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Runtime types for OCaml (beta version)☆23Updated last month
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Updated 2 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 6 months ago
- Multiparty Session Types in OCaml☆57Updated 2 months ago
- Algorithms to layout trees in a pretty manner.☆36Updated 2 years ago
- OCaml with typed algebraic effects☆49Updated 6 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 3 years ago
- Experimental model finder/SMT solver for functional programming.☆23Updated 2 years ago
- Yet another type combinator library☆54Updated 2 years ago
- secret project☆17Updated 6 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆91Updated 6 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- Parsing library based on Earley Algorithm☆18Updated 3 years ago
- a distributed computing library for OCaml☆24Updated 11 months ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆27Updated 2 years ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated last year
- Fast, safe mutable dynamic arrays for OCaml☆28Updated last year
- 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
- Embed typed ASN.1 grammars in OCaml☆36Updated last month
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated last month
- Pretty-printing library for OCaml☆43Updated 2 years ago
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- The language of the future!☆72Updated last year
- Bisector tree implementation in OCaml☆25Updated 9 months ago