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
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Compile-time metaprogramming for OCaml☆72Updated 7 months ago
- A pretty-printing combinator library for OCaml☆49Updated 7 months ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 10 years ago
- The language of the future!☆72Updated last year
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- secret project☆17Updated 7 years ago
- A compiler for the Tiger programming language targeting LLVM☆13Updated 7 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- Outdated version of an LLVM based backend for OCaml. Newer version:☆20Updated 13 years ago
- A collection of PLT researching☆29Updated 3 weeks ago
- MLpolyR☆7Updated 8 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆89Updated 6 years ago
- Coq formalizations and proofs of (data) structures and algorithms.☆46Updated 6 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆35Updated 8 years ago
- Compiler for Tiger language from "Modern Compiler Implementation in ML"☆16Updated 7 months ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- MetaML and MetaOCaml bibliography☆89Updated 3 months ago
- SML The Living Language☆11Updated 11 years ago
- Implementations of various toy programming languages☆12Updated 6 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- A Hello World program in Coq.☆17Updated 2 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated last year