tel / ocaml-cats
Signatures of the category theoretic style; a experiment in flattery
☆27Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for ocaml-cats
- OCaml backend for Agda☆39Updated 6 years ago
- A Datalog implementation with an OCaml inspired module system☆44Updated 6 years ago
- Generic Programming Library for OCaml☆33Updated 7 years ago
- Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)☆29Updated 7 years ago
- Type-level rational puzzles in OCaml☆22Updated 8 years ago
- Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.☆17Updated 9 years ago
- A 'free monad' library for OCaml☆22Updated 10 years ago
- MPRI-2.4 Dependently-typed Functional Programming☆32Updated 3 years ago
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- flexible 'let rec' generation for MetaOCaml☆26Updated last year
- Work on modular implicits☆23Updated 6 years ago
- OCaml with typed algebraic effects☆48Updated 6 years ago
- Library of Unix effects for Coq.☆23Updated 5 years ago
- being a bidirectional reformulation of Martin-Löf's 1971 type theory☆25Updated 7 years ago
- HardCaml implementation of the OCaml ZINC Abstract Machine☆43Updated 4 years ago
- An MVC library for writing interactive webpages in OCaml☆35Updated 9 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆26Updated last year
- The Evolution of a Typechecker☆54Updated 5 years ago
- Regular languages in types☆22Updated 7 years ago
- An abstract machine using indexed containers and their zippers☆14Updated 7 years ago
- Selective Applicative Functors in OCaml: Declare Your Effects Statically, Select Which to Execute Dynamically☆40Updated 5 years ago
- Library to provide session types to allow for static verification of protocols between concurrent computations.☆17Updated 7 years ago
- Convert from camlp4 + syntax extensions to regular OCaml + extension points and attributes☆22Updated 5 years ago
- OCaml documentation generator☆34Updated 7 years ago
- Asynchronous effect based IO☆32Updated 3 years ago
- SubML (prototype) language☆23Updated 2 years ago
- ☆27Updated 6 months ago
- Private extraction of astrada's lens library☆56Updated 3 years ago