hkt topic

A library for functional programming in Rust

JasonShin

A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure

4lDO2

十分钟魔法练习

niltok

Higher Kinded Type machinery for Java

derive4j

:rocket: Simple Remote Data (SRD) is a fully static land compliant implementation of the Remote Data type in TypeScript

rametta

A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses

TylorS

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.

geoffreytools

Extract or modify pieces of arbitrarily nested types with type lenses

geoffreytools