MaskRay / CamlFeatherweight
Bytecode compiler of a variant of Caml
☆33Updated 9 years ago
Alternatives and similar repositories for CamlFeatherweight:
Users that are interested in CamlFeatherweight are comparing it to the libraries listed below
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 10 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Compile-time metaprogramming for OCaml☆72Updated 7 months ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- SML The Living Language☆11Updated 11 years ago
- The language of the future!☆72Updated last year
- MLpolyR☆7Updated 8 years ago
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 7 months ago
- A pretty-printing combinator library for OCaml☆49Updated 7 months ago
- Type inference for 'type level computation one step at a time'☆12Updated 7 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 4 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- secret project☆17Updated 7 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated last year
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 7 months ago
- ☆22Updated 9 years ago
- Implementation of the Raft protocol in OCaml☆20Updated 8 years ago
- Experimental functional language☆17Updated 2 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆16Updated 2 years ago
- An OCaml bytecode to LLVM compiler☆43Updated 7 years ago
- A Hello World program in Coq.☆17Updated 2 years ago