bhurt / caramlLinks
A toy ML-like programming language
☆16Updated 13 years ago
Alternatives and similar repositories for caraml
Users that are interested in caraml are comparing it to the libraries listed below
Sorting:
- OCaml interpreter☆102Updated 6 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
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆46Updated 2 years ago
- A practical LLVM backend for OCaml (will never be finished)☆35Updated 11 years ago
- Match compilation algorithm in OCaml☆31Updated 9 months ago
- (Nominal) Adapton in OCaml☆57Updated 9 years ago
- A library with an encoding of higher kinded types in OCaml☆42Updated 2 months ago
- Functional programming library for OCaml☆60Updated 6 years ago
- Wiki for ocaml compiler internals☆49Updated 12 years ago
- A simple monadic parser combinator library for OCaml☆69Updated 3 years ago
- OCaml extended with modular implicits☆105Updated 7 years ago
- Simple, efficient iterators for OCaml☆59Updated 2 years ago
- The core OCaml system: compilers, runtime system, base libraries☆22Updated last month
- ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.☆38Updated 3 years ago
- Multilingualization for the OCaml source code☆49Updated 6 years ago
- OCaml with macros☆60Updated last month
- Just-In-Time compiler for the OCaml byte-code runtime.☆33Updated 13 years ago
- Statically typed embedding of miniKanren relational programming language into OCaml☆121Updated this week
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆47Updated 6 years ago
- A simple state-machine framework for OCaml based on QCheck☆67Updated 4 years ago
- An embeddable Lua 2.5 interpreter implemented in OCaml☆130Updated last week
- Reagents for multicore OCaml☆126Updated 2 years ago
- Example row-polymorphism implementations☆61Updated 2 years ago
- Private extraction of astrada's lens library☆65Updated 4 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 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
- Abstract engine for text edition in OCaml☆123Updated 5 months ago
- CRDTs - Conflict-Free Replicated Data Types for OCaml☆47Updated 9 years ago
- Library for incremental computations depending only on Core_kernel☆47Updated 7 years ago
- OPAM repo for OCaml multicore development☆51Updated 3 years ago