bhurt / caraml
A toy ML-like programming language
☆16Updated 12 years ago
Alternatives and similar repositories for caraml:
Users that are interested in caraml are comparing it to the libraries listed below
- A practical LLVM backend for OCaml (will never be finished)☆34Updated 10 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆89Updated 6 years ago
- Ropes ("heavyweight strings") for OCaml☆49Updated 8 months 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 last year
- Example row-polymorphism implementations☆61Updated last year
- An implementation of binary session types in OCaml☆36Updated 5 years ago
- Choice operator in OCaml, providing a backtracking monad☆25Updated 3 years ago
- OCaml with macros☆57Updated 2 months ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 13 years ago
- Private extraction of astrada's lens library☆57Updated 3 years ago
- A library with an encoding of higher kinded types in OCaml☆40Updated 4 months ago
- Simple, efficient iterators for OCaml☆59Updated last year
- Abstract engine for text edition in OCaml☆120Updated last year
- (Nominal) Adapton in OCaml☆52Updated 8 years ago
- OCaml extended with modular implicits☆103Updated 6 years ago
- Fast, safe mutable dynamic arrays for OCaml☆28Updated last year
- OCaml with typed algebraic effects☆49Updated 6 years ago
- DEPRECATED. We recommend Jane Street's dune (formerly jbuilder).☆23Updated 7 years ago
- Outdated version of an LLVM based backend for OCaml. Newer version:☆20Updated 13 years ago
- Library for incremental computations depending only on Core_kernel☆47Updated 6 years ago
- Generation of accessor and iteration functions for ocaml records☆60Updated 4 months ago
- Fast native fibers for OCaml☆38Updated 6 years ago
- Functional programming library for OCaml☆60Updated 5 years ago
- The core OCaml system: compilers, runtime system, base libraries☆21Updated this week
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆42Updated 6 years ago
- OCaml bindings for libgccjit☆26Updated 8 years ago
- Multilingualization for the OCaml source code☆50Updated 5 years ago
- Open records implemented using map over universal type☆33Updated 5 years ago
- Work on modular implicits☆24Updated 6 years ago