objmagic / jaw

Related projects: ⓘ

• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆35Updated this week
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆56Updated 2 weeks ago
• keigoi / session-ocaml
  An implementation of binary session types in OCaml
  ☆35Updated 5 years ago
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 3 years ago
• Drup / pumping
  Regular languages in types
  ☆21Updated 7 years ago
• NicolasT / ocaml-free
  A 'free monad' library for OCaml
  ☆22Updated 10 years ago
• strymonas / strymonas-ocaml
  ☆28Updated 4 months ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated last year
• inhabitedtype / ocaml-session
  A session manager for your everyday needs
  ☆44Updated 2 years ago
• Octachron / rational_in_types
  Type-level rational puzzles in OCaml
  ☆22Updated 8 years ago
• yallop / ocaml-integers
  Various signed and unsigned integer types for OCaml
  ☆62Updated 11 months ago
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆48Updated last year
• bmeurer / ocaml-rbtrees
  Red-Black Trees for OCaml.
  ☆23Updated 8 years ago
• dhil / ocaml-multicont
  multi-shot continuations in OCaml
  ☆46Updated 3 weeks ago
• rlepigre / ocaml-bindlib
  Efficient binder representation in OCaml
  ☆39Updated 2 months ago
• thierry-martinez / refl
  OCaml PPX deriver for reflection
  ☆50Updated last year
• mshinwell / libmonda
  Make OCaml native debugging awesome
  ☆33Updated 4 years ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 4 years ago
• nojb / ocaml-gccjit
  OCaml bindings for libgccjit
  ☆26Updated 7 years ago
• lpw25 / ocaml-typed-effects
  OCaml with typed algebraic effects
  ☆48Updated 5 years ago
• dbuenzli / trel
  Relational programming for OCaml (unreleased)
  ☆25Updated 2 years ago
• yallop / ocaml-syb
  Scrap Your Boilerplate for OCaml with modular implicits
  ☆19Updated last year
• clarus / smart-print
  A pretty-printing library in OCaml
  ☆32Updated 4 years ago
• yallop / metaocaml-letrec
  flexible 'let rec' generation for MetaOCaml
  ☆22Updated last year
• balez / generic
  Generic Programming Library for OCaml
  ☆33Updated 7 years ago
• essdotteedot / sessions
  Library to provide session types to allow for static verification of protocols between concurrent computations.
  ☆17Updated 7 years ago
• dsheets / ocaml-process
  Easy process control in OCaml
  ☆17Updated last year
• mjambon / dune-deps
  Show the internal dependencies in your OCaml/Reason/Dune project
  ☆59Updated last year
• kayceesrk / ocaml-aeio
  Asynchronous effect based IO
  ☆33Updated 3 years ago
• mirage / ocaml-diet
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Updated 2 years ago