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 6 years ago
- self-hosted compiler for a subset of OCaml☆51Updated 6 years ago
- yet another toy OCaml interpreter in Haskell☆12Updated 5 years ago
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- A statically-typed programming language based on "F-ing modules"☆81Updated 5 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 7 years ago
- Compiler for a very restricted subset of OCaml☆25Updated 9 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 3 years ago
- Self-hosting F#-subset compiler☆48Updated 10 months ago
- Full implementation of F-ing Modules, with the power of sequent calculus☆20Updated 4 years ago
- Compiler and tooling for the Myte programming language.☆28Updated 2 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- An interpreter of F-ing modules☆19Updated 6 years ago
- SPSC: A Small Positive Supercompiler☆39Updated last year
- MetaML and MetaOCaml bibliography☆97Updated last year
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- A toy language based on LLVM that implements the System Fω type-system☆113Updated 2 years ago
- source code for the bondi programming language☆44Updated 6 years ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- Code using GADT☆40Updated 4 years ago
- A MinCaml compiler implemented in Rust☆44Updated 2 years ago
- Prototype type inference engine☆205Updated 10 months ago
- WebAssembly specification, reference interpreter, and test suite.☆13Updated 2 years ago
- SML# compiler☆244Updated last week
- A dependent type theory with user defined data types☆47Updated 4 years ago
- System Fω interpreter for use in Advanced Functional Programming course☆68Updated 2 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆104Updated 7 months ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆19Updated 8 years ago
- Implementation of the Lox language in OCaml☆15Updated 5 years ago