cmaes / miniml
Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
☆30Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for miniml
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 5 years ago
- A pretty-printing combinator library for OCaml☆47Updated 3 months ago
- OCaml with macros☆54Updated last week
- A simple parser combinator library for Ocaml☆29Updated 3 years ago
- Wiki for ocaml compiler internals☆45Updated 11 years ago
- A simple state-machine framework for OCaml based on QCheck☆65Updated 3 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 3 months ago
- Yet another type combinator library☆54Updated 2 years ago
- OCaml with typed algebraic effects☆48Updated 6 years ago
- MetaML and MetaOCaml bibliography☆85Updated 2 months ago
- Tools for record-and-replay debugging☆42Updated last year
- Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.☆53Updated 3 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 years ago
- OCaml Programming Patterns - random tricks, "design patterns", etc.☆52Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- Strongly typed multidimensional array library for OCaml☆51Updated 5 months ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆64Updated last year
- Experimental functional language☆18Updated 2 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Functional Priority Search Queues for OCaml☆53Updated 7 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- multi-shot continuations in OCaml☆46Updated last month
- An MVC library for writing interactive webpages in OCaml☆35Updated 9 years ago
- Fωμ type checker and compiler☆51Updated last year
- Multiparty Session Types in OCaml☆57Updated 3 weeks ago
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆36Updated 2 years ago
- 🦠 Reusable components based on algebraic effects☆47Updated last month
- ☆27Updated 6 months ago
- ☆22Updated last month
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago