A library for functional programming in Rust

十分钟魔法练习

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.

Higher Kinded Type machinery for Java

🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.

Higher-kinded types, monads and composable effects for Java 25+: the Effect Path API for railway-style error handling, advanced optics (lens/prism/traversal) with code generation for records and sealed types, and Spring Boot integration.

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

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

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

Extract or modify pieces of arbitrarily nested types with type lenses

"Generic generics" / higher-kinded APIs in stable Rust.

A pluggable low-code library.

🪴 The kind of ADTs you can count on in TypeScript

Rust HKT playground powered with derive macro generated type families

A pluggable typescript library

A declarative DSL that replaces TypeScript generic types with readable schema definitions. Write .map, .ref, .access — not [K in keyof T].

rspace is a crate focused on establishing a solid foundation for containers, fields, and spaces in rust.