hkt

There are 12 repositories under hkt topic.

JasonShin/fp-core.rs
A library for functional programming in Rust
Language:Rust1.3k 40 4065
niltok/magic-in-ten-mins
十分钟魔法练习
Language:HTML766 8 338
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:TypeScript153 3 31
derive4j/hkt
Higher Kinded Type machinery for Java
Language:Java81 10 239
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:Rust45 3 73
TylorS/hkt-ts
A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses
Language:TypeScript41 3 03
rametta/srd
:rocket: Simple Remote Data (SRD) is a fully static land compliant implementation of the Remote Data type in TypeScript
Language:TypeScript28 3 00
geoffreytools/type-lenses
Extract or modify pieces of arbitrarily nested types with type lenses
Language:TypeScript25 3 20
pluggable-low-code/p-lc
A pluggable low-code library.
Language:TypeScript8 2 01
danielhenrymantilla/higher-kinded-types.rs
"Generic generics" / higher-kinded APIs in stable Rust.
Language:Rust7 1 02
BrookShuihuaLee/mobo-ts
A pluggable typescript library
Language:TypeScript2 1 00
leslie255/families
Rust HKT playground powered with derive macro generated type families
Language:Rust2 1 00