MaskRay / CamlFeatherweight
Bytecode compiler of a variant of Caml
☆31Updated 9 years ago
Related projects: ⓘ
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- The MLPolyR programming language, revived☆24Updated 3 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- ☆33Updated this week
- Compile-time metaprogramming for OCaml☆71Updated last month
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 12 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- The language of the future!☆71Updated 8 months ago
- MLpolyR☆7Updated 8 years ago
- Type inference for 'type level computation one step at a time'☆12Updated 6 years ago
- An absurdly tiny Lisp interpreter in OCaml☆30Updated 12 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 7 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- Accepted papers for POPL 2015☆67Updated 8 years ago
- Go! Lisp in OCaml☆75Updated 11 years ago
- Alef Lazily Evaluates Functions☆31Updated 11 years ago
- A pretty-printing combinator library for OCaml☆47Updated last month
- ☆19Updated 8 years ago
- SML The Living Language☆11Updated 10 years ago
- Coq formalizations and proofs of (data) structures and algorithms.☆45Updated 6 years ago
- secret project☆17Updated 6 years ago
- A naive θ..θ programming language☆27Updated 5 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆63Updated last year
- MetaML and MetaOCaml bibliography☆84Updated 2 weeks ago
- MLton for scalable multicore architectures☆57Updated 10 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- Ask for solutions.☆19Updated 5 years ago