6 results found Sort:

JasonShin
fp-core.rs JasonShin
66
1.4k
mit
40
A library for functional programming in Rust
hkt rust monad monoid comonad functor morphism applicative homomorphism category-theory lambda-calculus functional-programming
Created 2019-05-29
278 commits to master branch, last one 4 years ago
niltok
magic-in-ten-mins niltok
39
790
cc-by-4.0
8
十分钟魔法练习
adt hkt java monad tutorial formal-proofs lambda-calculus formal-verification functional-programming
Created 2020-11-09
94 commits to main branch, last one about a year ago
geoffreytools
free-types geoffreytools
1
154
isc
3
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.
hkt typescript higher-kinded-types type-level-programming
Created 2022-10-23
117 commits to public branch, last one about a year ago
derive4j
hkt derive4j
9
82
bsd-3-clause
10
Higher Kinded Type machinery for Java
hkt java-8 hk-encoding typechecker annotation-processor functional-programming
Created 2016-03-24
61 commits to master branch, last one 5 years ago
4lDO2
real-async-trait-rs 4lDO2
3
45
apache-2.0
3
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 async-trait existential-types higher-kinded-types proc-macro-attributes generic-associated-types
Created 2020-07-14
34 commits to master branch, last one 2 years ago
TylorS
hkt-ts TylorS
3
41
unknown
3
A Higher-Kinded-Types encoding for TypeScript w/ Composable Typeclasses
fp hkt typescript
Created 2020-07-22
265 commits to development branch, last one 2 years ago