ianthehenry / ocamlsyntax.com
How do you do that recursive GADT thing again?
☆27Updated 6 months ago
Related projects: ⓘ
- multi-shot continuations in OCaml☆46Updated 3 weeks ago
- Property-based testing at ease☆43Updated 3 years ago
- Tools for record-and-replay debugging☆43Updated last year
- Notes and findings from our OCaml benchmarking adventures☆48Updated last year
- Choice operator in OCaml, providing a backtracking monad☆24Updated 2 years ago
- Graphs of the various type conversions provided by the OCaml standard library.☆34Updated 4 years ago
- Commodity thread pools and concurrency primitives for OCaml 5☆54Updated last week
- A library that makes it nicer to work with nested functional data structures☆53Updated 3 weeks ago
- 🦠 Reusable components based on algebraic effects☆47Updated 2 months ago
- Trivial Metaprogramming tool using the OCaml toplevel☆55Updated 2 years ago
- Build OCaml projects with Nix.☆55Updated last week
- Runtime assertion checking based on Gospel specifications☆37Updated 2 weeks ago
- PBT testsuite and libraries for testing multicore OCaml☆37Updated this week
- A Deductive Verification Tool for OCaml Programs☆58Updated 2 months ago
- Relational database programming for OCaml (unreleased)☆40Updated last month
- A simple parser combinator library for Ocaml☆30Updated 3 years ago
- Lookup documentation of installed OCaml packages☆67Updated last month
- Strongly typed multidimensional array library for OCaml☆52Updated 3 months ago
- [MIRROR] Ultimate Ocaml Editing Mode☆21Updated 2 years ago
- Effectful OCaml with Objects and Variants☆29Updated last year
- A simple state-machine framework for OCaml based on QCheck☆63Updated 2 years ago
- ☆27Updated 5 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆35Updated this week
- Show the internal dependencies in your OCaml/Reason/Dune project☆59Updated last year
- Print OCaml values based on their runtime representation☆30Updated 2 years ago
- OCaml with typed algebraic effects☆48Updated 5 years ago
- Trivial/Tagless Polytypic Functions☆23Updated 4 years ago
- Algorithms to layout trees in a pretty manner.☆37Updated 2 years ago
- OCaml behind the scenes: exceptions☆30Updated 11 months ago
- Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form☆41Updated 2 years ago