hkt topic
fp-core.rs
A library for functional programming in Rust
real-async-trait-rs
A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure
magic-in-ten-mins
十分钟魔法练习
hkt
Higher Kinded Type machinery for Java
srd
:rocket: Simple Remote Data (SRD) is a fully static land compliant implementation of the Remote Data type in TypeScript
hkt-ts
A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses
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.
type-lenses
Extract or modify pieces of arbitrarily nested types with type lenses