cmaes / miniml
Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
☆28Updated 3 years ago
Related projects: ⓘ
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- A pretty-printing combinator library for OCaml☆47Updated last month
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆37Updated 2 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated last month
- Experimental functional language☆18Updated 2 years ago
- MetaML and MetaOCaml bibliography☆84Updated 3 weeks ago
- Wiki for ocaml compiler internals☆47Updated 11 years ago
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- A simple state-machine framework for OCaml based on QCheck☆63Updated 2 years ago
- OCaml library for manipulating context-free grammars☆19Updated 2 weeks ago
- OCaml with macros☆53Updated last year
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆35Updated last week
- Yet another type combinator library☆54Updated 2 years ago
- Extension to OCaml for deriving functions from type declarations.☆26Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- OCaml with typed algebraic effects☆48Updated 5 years ago
- String searching with errors, using the Wu-Manber algorithm☆24Updated last year
- Tools for record-and-replay debugging☆43Updated last year
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- Strongly typed multidimensional array library for OCaml☆52Updated 3 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆23Updated 3 years ago
- Unofficial git mirror of the BER MetaOCaml patchset.☆63Updated last year
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- 🦠 Reusable components based on algebraic effects☆47Updated 2 months ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Updated 2 years ago
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 2 years ago
- Tools for the runtime tracing in OCaml 4.11.0 and higher☆31Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated 8 months ago