smimram / ocaml-alg
Algebraic structures in OCaml.
☆17Updated this week
Related projects: ⓘ
- Lower-Kinded Optics for OCaml☆21Updated last year
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆23Updated 3 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆19Updated 5 months ago
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- Experimental type-checker for internally parametric type theory☆32Updated 3 years ago
- 🩺 A library for compiler diagnostics☆34Updated 6 months ago
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- Higher kinded polymorphism in SML☆16Updated 4 years ago
- Work on modular implicits☆23Updated 5 years ago
- Extract snippets from code specified by comments.☆11Updated last month
- OCaml bindings to Windows' IOCP API☆17Updated last year
- A Coq plugin that implements exceptions in Coq☆14Updated 3 years ago
- Parallel version of incremental library☆19Updated 10 months ago
- RISC-V OCaml cross compiler☆14Updated 5 years ago
- ☆11Updated 4 years ago
- A project which aim to help engineers to make proves easily☆14Updated 2 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆35Updated last week
- Monad-based linear types in OCaml, with a few syntax extensions☆37Updated 4 years ago
- Effectful OCaml with Objects and Variants☆29Updated last year
- 🔙 Backward lists for OCaml☆19Updated 10 months ago
- Effects-based OCaml Nameserver☆14Updated 2 months ago
- The Stream and Genlex libraries for use with Camlp4 and Camlp5☆15Updated 2 years ago
- Building Lua interpreters with lot's of functors☆14Updated 6 years ago
- A model-based QuickCheck test of ptrees (Patricia trees)☆12Updated 5 years ago
- Experimental opam plugin☆17Updated 6 months ago
- ☆15Updated this week
- OCaml interface to the GMP library☆13Updated 7 months ago
- OCaml with typed algebraic effects☆48Updated 5 years ago
- A repository of MetaOCaml packages☆12Updated last year
- A simple BDD library for OCaml☆14Updated 2 years ago