Projects in Awesome Lists tagged with hkt
A curated list of projects in awesome lists tagged with hkt .
https://github.com/jasonshin/fp-core.rs
A library for functional programming in Rust
applicative category-theory comonad functional-programming functor hkt homomorphism lambda-calculus monad monoid morphism rust
Last synced: 16 May 2025
https://github.com/JasonShin/fp-core.rs
A library for functional programming in Rust
applicative category-theory comonad functional-programming functor hkt homomorphism lambda-calculus monad monoid morphism rust
Last synced: 28 Mar 2025
https://github.com/niltok/magic-in-ten-mins
十分钟魔法练习
adt formal-proofs formal-verification functional-programming hkt java lambda-calculus monad tutorial
Last synced: 26 Mar 2025
https://github.com/derive4j/hkt
Higher Kinded Type machinery for Java
annotation-processor functional-programming hk-encoding hkt java-8 typechecker
Last synced: 15 Apr 2025
https://github.com/snowflyt/hkt-core
🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.
higher-kinded-types hkt type-level-programming typescript
Last synced: 17 Apr 2025
https://github.com/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
async-trait existential-types generic-associated-types higher-kinded-types hkt proc-macro proc-macro-attributes
Last synced: 04 Apr 2025
https://github.com/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
async-trait existential-types generic-associated-types higher-kinded-types hkt proc-macro proc-macro-attributes
Last synced: 16 May 2025
https://github.com/tylors/hkt-ts
A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses
Last synced: 13 Jan 2025
https://github.com/rametta/srd
:rocket: Simple Remote Data (SRD) is a fully static land compliant implementation of the Remote Data type in TypeScript
functional hkt remotedata static-land typescript
Last synced: 14 Apr 2025
https://github.com/danielhenrymantilla/higher-kinded-types.rs
"Generic generics" / higher-kinded APIs in stable Rust.
gat higher-kinded-type hkt lending-iterator rust type-level-programming
Last synced: 09 Apr 2025
https://github.com/brookshuihualee/mobo-ts
A pluggable typescript library
aop higher-kinded-types hkt mobo pluggable plugin ts typescript
Last synced: 18 Mar 2025
https://github.com/voltageddebunked/rusty-hkt
A lightweight, no_std compatible library for emulating higher-kinded types in Rust.
cargo higher-kind-types hkt no-std rust
Last synced: 04 Mar 2025
