Search Results - RepositoryStats

65

1.3k

mit

39

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

magic-in-ten-mins niltok

36

739

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 10 months ago

free-types geoffreytools

1

147

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 10 months ago

hkt derive4j

9

77

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 4 years ago

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

hkt-ts TylorS

3

40

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 about a year ago