higher-kinded-types topic
rea-ml
Effectful OCaml with Objects and Variants
FSTan
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
generic-std
Experimental HKT framework and generic traits for the standard library
terp
A functional programming language with lisp syntax and ML semantics that runs on the BEAM
ocdquery
Over-Complicated Database Query using higher-kinded data
free-types
A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
frea
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
fp4ts
Zero-dependency, purely functional library for effectful programming in Typescript
HKTs
Seamless Higher-Kinded Types in Rust
type-lenses
Extract or modify pieces of arbitrarily nested types with type lenses