ocamllabs / ocaml-effects

Related projects ⓘ

Alternatives and complementary repositories for ocaml-effects

• fxfactorial / reasonml-brotli
  High Level, type-safe ReasonML (OCaml) bindings to Google's compression library Brotli
  ☆20Updated last year
• tel / ocaml-transducers
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆17Updated 9 years ago
• mirage / ocaml-lazy-trie
  Lazy prefix trees in OCaml
  ☆23Updated 4 years ago
• alavrik / piqi-ocaml
  Protocol Buffers, JSON, XML data serialization system for OCaml
  ☆40Updated 2 years ago
• brick-lang / kekka
  An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
  ☆14Updated 3 years ago
• agda / agda-ocaml
  OCaml backend for Agda
  ☆39Updated 6 years ago
• janestreet-deprecated / ppx_driver
  Deprecated, use ocaml-ppx/ppxlib instead
  ☆14Updated 6 years ago
• ocsigen / macaque
  ☆38Updated 5 years ago
• deech / LeftPad
  ☆23Updated 6 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 5 years ago
• camlspotter / ocamloscope
  OCaml API search engine
  ☆25Updated 8 years ago
• bobatkey / ocamlmvc
  An MVC library for writing interactive webpages in OCaml
  ☆35Updated 9 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 6 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 5 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• mrb / idris-ruby
  Yes, really!
  ☆11Updated 9 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated 4 months ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• avsm / ocaml-lens
  Private extraction of astrada's lens library
  ☆66Updated 3 years ago
• berke / aurochs
  Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…
  ☆45Updated last year
• kellino / microML
  a simple functional language for learners
  ☆30Updated 7 years ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated 2 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆34Updated 2 months ago
• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆36Updated 2 years ago