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
- self-hosted compiler for a subset of OCamlβ51Updated 5 years ago
- yet another toy OCaml interpreter in Haskellβ12Updated 4 years ago
- Full implementation of F-ing Modules, with the power of sequent calculusβ20Updated 4 years ago
- FunTAL: mixing a functional language with assembly.β40Updated 7 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"β25Updated 2 years ago
- Compiler for a very restricted subset of OCamlβ26Updated 9 years ago
- flexible 'let rec' generation for MetaOCamlβ26Updated 2 weeks ago
- Signature documentation tool for Standard MLβ14Updated last year
- Type systems written in 1MLβ9Updated 5 years ago
- Standard ML compiler based on typed intermediate languages.β48Updated 10 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]β32Updated 6 years ago
- SPSC: A Small Positive Supercompilerβ35Updated last year
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a β¦β90Updated 6 years ago
- A statically-typed programming language based on "F-ing modules"β81Updated 4 years ago
- An interpreter of F-ing modulesβ19Updated 5 years ago
- MixML prototype interpreterβ27Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writβ¦β22Updated 4 years ago
- Experiments about intermediate representations in compilersβ25Updated 12 years ago
- an encoding of affine effect handlers using pthreadsβ14Updated 2 years ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.β31Updated 4 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculiβ19Updated 8 years ago
- A dependent type theory with user defined data typesβ46Updated 3 years ago
- Ξ±Prologβ17Updated last year
- A compiler and runtime for normalizing the untyped Ξ»-calculusβ31Updated 3 years ago
- Code using GADTβ40Updated 4 years ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modulesβ31Updated 2 years ago
- A compiler for the gradually typed lambda calculusβ75Updated 3 years ago
- Monad-based linear types in OCaml, with a few syntax extensionsβ37Updated 5 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.β31Updated last month