Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: hkt
niltok/magic-in-ten-mins
十分钟魔法练习
Language: HTML - Size: 31.5 MB - Last synced: about 22 hours ago - Pushed: 9 months ago - Stars: 736 - Forks: 36
BrookShuihuaLee/mobo-ts
A pluggable typescript library / 一个可插件化的 TS 库
Language: TypeScript - Size: 77.1 KB - Last synced: about 5 hours ago - Pushed: 16 days ago - Stars: 0 - Forks: 0
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: 16 days ago - Pushed: 10 months ago - Stars: 145 - Forks: 1
geoffreytools/type-lenses
Extract or modify pieces of arbitrarily nested types with type lenses
Language: TypeScript - Size: 211 KB - Last synced: 25 days ago - Pushed: 2 months ago - Stars: 24 - Forks: 0
JasonShin/fp-core.rs
A library for functional programming in Rust
Language: Rust - Size: 271 KB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 1,296 - Forks: 63
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: about 1 month ago - Pushed: over 3 years ago - Stars: 29 - 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: 15 days ago - Pushed: almost 2 years ago - Stars: 45 - Forks: 3
TylorS/hkt-ts
A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses
Language: TypeScript - Size: 1.21 MB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 38 - Forks: 3
danielhenrymantilla/higher-kinded-types.rs
"Generic generics" / higher-kinded APIs in stable Rust.
Language: Rust - Size: 254 KB - Last synced: 21 days ago - Pushed: 4 months ago - Stars: 5 - Forks: 2
derive4j/hkt
Higher Kinded Type machinery for Java
Language: Java - Size: 205 KB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 76 - Forks: 9