GitHub topics: hkt
Snowflyt/kind-adt
πͺ΄ The kind of ADTs you can count on in TypeScript
Language: TypeScript - Size: 103 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0
Snowflyt/hkt-core
π A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.
Language: TypeScript - Size: 854 KB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 47 - Forks: 0
danielhenrymantilla/higher-kinded-types.rs
"Generic generics" / higher-kinded APIs in stable Rust.
Language: Rust - Size: 146 KB - Last synced at: 17 days ago - Pushed at: 29 days ago - Stars: 11 - Forks: 2
JasonShin/fp-core.rs
A library for functional programming in Rust
Language: Rust - Size: 271 KB - Last synced at: 18 days ago - Pushed at: almost 3 years ago - Stars: 1,371 - Forks: 65
niltok/magic-in-ten-mins
εειιζ³η»δΉ
Language: HTML - Size: 31.5 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 800 - Forks: 38
geoffreytools/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.
Language: TypeScript - Size: 243 KB - Last synced at: 19 days ago - Pushed at: over 1 year ago - Stars: 158 - Forks: 1
VoltagedDebunked/rusty-hkt
A lightweight, no_std compatible library for emulating higher-kinded types in Rust.
Language: Rust - Size: 6.84 KB - Last synced at: 22 days ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
4lDO2/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
Language: Rust - Size: 64.5 KB - Last synced at: 20 days ago - Pushed at: almost 3 years ago - Stars: 46 - Forks: 3
pluggable-low-code/p-lc
A pluggable low-code library.
Language: TypeScript - Size: 2.09 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 9 - Forks: 1
derive4j/hkt
Higher Kinded Type machinery for Java
Language: Java - Size: 205 KB - Last synced at: 4 days ago - Pushed at: about 3 years ago - Stars: 82 - Forks: 9
geoffreytools/type-lenses
Extract or modify pieces of arbitrarily nested types with type lenses
Language: TypeScript - Size: 211 KB - Last synced at: 20 days ago - Pushed at: about 1 year ago - Stars: 26 - Forks: 0
BrookShuihuaLee/mobo-ts
A pluggable typescript library
Language: TypeScript - Size: 81.1 KB - Last synced at: about 9 hours ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
TylorS/hkt-ts
A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses
Language: TypeScript - Size: 1.21 MB - Last synced at: 22 days ago - Pushed at: about 2 years ago - Stars: 41 - Forks: 3
rametta/srd
:rocket: Simple Remote Data (SRD) is a fully static land compliant implementation of the Remote Data type in TypeScript
Language: TypeScript - Size: 132 KB - Last synced at: 1 day ago - Pushed at: about 4 years ago - Stars: 28 - Forks: 0
