Pinned Repositories
Arrows
autodiff
Category
compact
finally-tagless
imp
Experimental library using modular implicits
lens
A port of (a subset of) the Haskell lens library to OCaml, using modular implicits
modular-implicits-opam
oi
Monadic I/O for OCaml, using modular implicits
polyvariadic
modular-implicits's Repositories
modular-implicits/imp
Experimental library using modular implicits
modular-implicits/lens
A port of (a subset of) the Haskell lens library to OCaml, using modular implicits
modular-implicits/modular-implicits-opam
modular-implicits/Category
modular-implicits/Arrows
modular-implicits/autodiff
modular-implicits/compact
modular-implicits/finally-tagless
modular-implicits/generics
modular-implicits/oi
Monadic I/O for OCaml, using modular implicits
modular-implicits/polyvariadic
modular-implicits/Quickcheck
modular-implicits/Search
modular-implicits/staged-generics
modular-implicits/tries-staged
modular-implicits/backports
The modular implicits variant of the OCaml compiler with backports of various features from modern OCaml
modular-implicits/DataStructures
modular-implicits/FreeMonad
modular-implicits/metaocaml-frex
modular-implicits/metaocaml-frex-implicits
modular-implicits/modular-implicits.github.io
Website hosting the Modular Implicits project report.
modular-implicits/ocaml
OCaml extended with modular implicits
modular-implicits/ocaml-integers
Various signed and unsigned integer types for OCaml
modular-implicits/SQL
modular-implicits/staged-generic-programming
Code for "Staged Generic Programming" (ICFP 2017)