crates.io "type-level-programming" keyword
View the packages on the crates.io package registry that are tagged with the "type-level-programming" keyword.
higher-kinded-types 0.2.0
"Generic generics" / higher-kinded APIs in stable Rust10 versions - Latest release: 4 months ago - 3 dependent packages - 540 thousand downloads total - 11 stars on GitHub - 1 maintainer
Top 3.1% on crates.io
49 versions - Latest release: about 1 month ago - 51 dependent packages - 905 dependent repositories - 6.54 million downloads total - 1,360 stars on GitHub - 1 maintainer
frunk 0.4.4
Frunk provides developers with a number of functional programming tools like HList, Coproduct, Ge...49 versions - Latest release: about 1 month ago - 51 dependent packages - 905 dependent repositories - 6.54 million downloads total - 1,360 stars on GitHub - 1 maintainer
frunk_laws 0.5.3
frunk_laws contains laws for algebras declared in Frunk.27 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 66.1 thousand downloads total - 1,360 stars on GitHub - 1 maintainer
Top 4.2% on crates.io
11 versions - Latest release: about 1 month ago - 4 dependent packages - 681 dependent repositories - 6.48 million downloads total - 1,360 stars on GitHub - 1 maintainer
frunk_proc_macro_helpers 0.1.4
Common internal functions for frunk's proc macros11 versions - Latest release: about 1 month ago - 4 dependent packages - 681 dependent repositories - 6.48 million downloads total - 1,360 stars on GitHub - 1 maintainer
Top 5.0% on crates.io
11 versions - Latest release: about 1 month ago - 2 dependent packages - 656 dependent repositories - 6.02 million downloads total - 1,360 stars on GitHub - 1 maintainer
frunk_proc_macros 0.1.4
Proc macros for Frunk11 versions - Latest release: about 1 month ago - 2 dependent packages - 656 dependent repositories - 6.02 million downloads total - 1,360 stars on GitHub - 1 maintainer
Top 6.1% on crates.io
8 versions - Latest release: over 2 years ago - 1 dependent package - 507 dependent repositories - 2.25 million downloads total - 1,360 stars on GitHub - 1 maintainer
frunk_proc_macros_impl 0.1.1
Proc macros inernal implementations for Frunk8 versions - Latest release: over 2 years ago - 1 dependent package - 507 dependent repositories - 2.25 million downloads total - 1,360 stars on GitHub - 1 maintainer
Top 3.3% on crates.io
37 versions - Latest release: about 1 month ago - 22 dependent packages - 885 dependent repositories - 6.51 million downloads total - 1,360 stars on GitHub - 1 maintainer
frunk_derives 0.4.4
frunk_derives contains the custom derivations for certain traits in Frunk.37 versions - Latest release: about 1 month ago - 22 dependent packages - 885 dependent repositories - 6.51 million downloads total - 1,360 stars on GitHub - 1 maintainer
Top 3.1% on crates.io
36 versions - Latest release: about 1 month ago - 41 dependent packages - 895 dependent repositories - 6.67 million downloads total - 1,161 stars on GitHub - 1 maintainer
frunk_core 0.4.4
Frunk core provides developers with HList, Coproduct, LabelledGeneric and Generic36 versions - Latest release: about 1 month ago - 41 dependent packages - 895 dependent repositories - 6.67 million downloads total - 1,161 stars on GitHub - 1 maintainer
frust 0.0.7
Functional Programming in Rust7 versions - Latest release: almost 9 years ago - 10.8 thousand downloads total - 1,349 stars on GitHub - 1 maintainer
type-operators 0.3.5
A macro system for creating type operators in Rust and writing type-level logic.12 versions - Latest release: over 8 years ago - 1 dependent package - 19.6 thousand downloads total - 64 stars on GitHub - 1 maintainer
Related Keywords
rust
10
type-level
9
lenses
8
labelled-generic
8
generic
8
hlist
8
generic-programming
8
validated
8
coproduct
8
datatype-generic-programming
8
fp
8
frunk
7
macros
4
internal
2
testing
1
derives
1
labelledgeneric
1
type
1
macro
1
operator
1
dsl
1
type-system
1
laws
1
algebras
1
monoid
1
higher-kinded-type
1
lifetime
1
lending-iterator
1
hkt
1
higher-kinded-types
1
gat
1