JasonShin / fp-core.rs Star 1.4k Code Issues Pull requests A library for functional programming in Rust rust functional-programming lambda-calculus monad functor category-theory monoid hkt applicative homomorphism comonad morphism Updated Jul 12, 2022 Rust
4lDO2 / real-async-trait-rs Star 45 Code Issues Pull requests A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type erasure hkt proc-macro existential-types higher-kinded-types proc-macro-attributes async-trait generic-associated-types Updated Jun 11, 2022 Rust
danielhenrymantilla / higher-kinded-types.rs Star 11 Code Issues Pull requests Discussions "Generic generics" / higher-kinded APIs in stable Rust. rust hkt type-level-programming gat higher-kinded-type lending-iterator Updated Mar 28, 2025 Rust
leslie255 / families Sponsor Star 2 Code Issues Pull requests Rust HKT playground powered with derive macro generated type families rust functional-programming fp category-theory rust-lang hkt Updated Mar 28, 2024 Rust
VoltagedDebunked / rusty-hkt Star 0 Code Issues Pull requests A lightweight, no_std compatible library for emulating higher-kinded types in Rust. rust cargo hkt no-std higher-kind-types Updated Mar 1, 2025 Rust