ocamllabs/ocaml-modular-implicits

OCaml extended with modular implicits

janestreet/higher_kinded

A library with an encoding of higher kinded types in OCaml

LightAndLight/sized-hkts

Higher kinded polymorphism in a language with unboxed, statically sized datatypes.

AndrasKovacs/implicit-fun-elaboration

Implementation for ICFP 2020 paper

IndiscriminateCoding/clarity

Functional programming library for OCaml

gusty/FsControl

[ARCHIVED] FsControl in now included in FSharpPlus https://fsprojects.github.io/FSharpPlus

ollef/Bidirectional

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking…

fuselang/fuse

Fuse is a statically typed, purely functional language with higher-kinded types and ad-hoc…