momohatt / min-caml-jvmLinks
A tiny OCaml compiler with JVM backend 🐫☕️
☆11Updated 6 years ago
Alternatives and similar repositories for min-caml-jvm
Users that are interested in min-caml-jvm are comparing it to the libraries listed below
Sorting:
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 5 years ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 4 years ago
- self-hosted compiler for a subset of OCaml☆51Updated 6 years ago
- yet another toy OCaml interpreter in Haskell☆12Updated 4 years ago
- A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…☆55Updated 13 years ago
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- MixML prototype interpreter☆27Updated 5 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 6 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆33Updated 13 years ago
- An implementation of binary session types in OCaml☆36Updated 6 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆31Updated 4 years ago
- An interpreter of F-ing modules☆19Updated 6 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- Compiler for a very restricted subset of OCaml☆26Updated 9 years ago
- Example row-polymorphism implementations☆61Updated last year
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Updated 2 years ago
- Multiparty Session Types in OCaml☆60Updated 7 months ago
- flexible 'let rec' generation for MetaOCaml☆26Updated last month
- A statically-typed programming language based on "F-ing modules"☆81Updated 4 years ago
- Outdated version of an LLVM based backend for OCaml. Newer version:☆20Updated 13 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆65Updated last month
- A dependent type theory with user defined data types☆46Updated 3 years ago
- MetaML and MetaOCaml bibliography☆92Updated 6 months ago
- Interpreter of the ITGL with dynamic type inference☆22Updated 4 months ago