A library for functional programming in Rust

• UpdatedJul 12, 2022
• Rust

十分钟魔法练习

• UpdatedSep 2, 2023
• HTML

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.

• UpdatedAug 16, 2023
• TypeScript

Higher Kinded Type machinery for Java

• UpdatedFeb 28, 2022
• Java

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

• UpdatedJun 11, 2022
• Rust

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

• UpdatedMar 6, 2023
• TypeScript

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

• UpdatedFeb 10, 2025
• TypeScript

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

• UpdatedJan 30, 2021
• TypeScript

Extract or modify pieces of arbitrarily nested types with type lenses

• UpdatedMar 27, 2024
• TypeScript

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

• UpdatedFeb 10, 2024
• Rust

A pluggable low-code library.

• UpdatedJan 3, 2025
• TypeScript

Rust HKT playground powered with derive macro generated type families

• UpdatedMar 28, 2024
• Rust

A pluggable typescript library

• UpdatedSep 9, 2024
• TypeScript

A lightweight, no_std compatible library for emulating higher-kinded types in Rust.

• UpdatedMar 1, 2025
• Rust