crates.io "type-level" keyword
View the packages on the crates.io package registry that are tagged with the "type-level" keyword.
shoggoth_macros 0.0.19
Generic and type-level programming for Rust3 versions - Latest release: over 10 years ago - 1 dependent package - 10.1 thousand downloads total - 2 maintainers
concrete-type 0.2.4
A procedural macro crate for mapping enum variants to concrete types, enabling type-level program...6 versions - Latest release: 2 months ago - 5.95 thousand downloads total - 2 stars on GitHub - 1 maintainer
concrete-type-rules 0.1.1
Rules and validation for concrete types2 versions - Latest release: 4 months ago - 857 downloads total - 1 maintainer
units 0.1.0
Units of Measure for Rust. Easy to use, type-safe and customizable.3 versions - Latest release: about 10 years ago - 1 dependent repositories - 7.14 thousand downloads total - 46 stars on GitHub - 1 maintainer
refl 0.2.1
Provides a `refl` encoding which you can use to provide a proof witness that one type is equivale...6 versions - Latest release: over 5 years ago - 2 dependent packages - 1 dependent repositories - 19.3 thousand downloads total - 68 stars on GitHub - 1 maintainer
type-level 0.0.1
Type-level programming in Rust1 version - Latest release: over 10 years ago - 2.88 thousand downloads total - 1 maintainer
identity 0.0.6
A stable Rust implementation of an identity (a.k.a., “equality witness”) type.6 versions - Latest release: about 9 years ago - 11 dependent repositories - 9.98 thousand downloads total - 6 stars on GitHub - 1 maintainer
type-level-logic 0.1.0
Primitive types and operations for type-level logic.1 version - Latest release: over 8 years ago - 2.13 thousand downloads total - 7 stars on GitHub - 1 maintainer
unify 0.0.3
Trait-based equality constraint for Rust4 versions - Latest release: over 10 years ago - 1 dependent package - 7.11 thousand downloads total - 2 maintainers
terrors 0.3.3
ergonomic and precise error handling built atop type-level set arithmetic16 versions - Latest release: 3 months ago - 32.2 thousand downloads total - 242 stars on GitHub - 1 maintainer
rustollens 0.1.0
A small and experimental library with a type-level representation of booleans with companion conn...1 version - Latest release: over 4 years ago - 1.42 thousand downloads total - 3 stars on GitHub - 1 maintainer
type-sets 0.0.6
Sets implemented in the rust type-system6 versions - Latest release: over 1 year ago - 1 dependent package - 6.57 thousand downloads total - 3 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
trustty 0.0.0
Trust types: Wrapper types to mark whether data is trusted, untrusted, distrusted1 version - Latest release: over 5 years ago - 1.41 thousand downloads total - 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
phaos 0.0.0
Type-level graphics library1 version - Latest release: almost 3 years ago - 1.27 thousand downloads total - 1 maintainer
shoggoth 0.0.19
Generic and type-level programming for Rust19 versions - Latest release: over 10 years ago - 2 dependent packages - 31.5 thousand downloads total - 2 maintainers
sorted-hlist 0.2.0
Type-level heterogeneous lists with compile-time intersection and sorting using typenum.3 versions - Latest release: 3 months ago - 4.74 thousand downloads total - 0 stars on GitHub - 1 maintainer
cargo-verify 0.2.3
Prettier error messages for the verified crate.1 version - Latest release: about 5 years ago - 1.55 thousand downloads total - 5 stars on GitHub - 1 maintainer
tylar 0.2.2
Type-Level Arithmetic in Rust6 versions - Latest release: over 9 years ago - 1 dependent package - 1 dependent repositories - 18.6 thousand downloads total - 10 stars on GitHub - 1 maintainer
verified 0.2.3
A library of types to facilitate the development of verifiable rust.7 versions - Latest release: about 5 years ago - 1 dependent package - 1 dependent repositories - 8.62 thousand downloads total - 5 stars on GitHub - 1 maintainer
spidermeme 0.1.0
Traits to test for type equality and type inequality1 version - Latest release: about 4 years ago - 1.39 thousand downloads total - 2 stars on GitHub - 1 maintainer
type-nats 0.0.2
Type-level natural numbers in Rust2 versions - Latest release: over 10 years ago - 4.46 thousand downloads total - 1 maintainer
verify_macro 0.2.3
An attribute that automatically instruments code with logical type bounds.6 versions - Latest release: about 5 years ago - 1 dependent package - 1 dependent repositories - 8.47 thousand downloads total - 5 stars on GitHub - 1 maintainer
typers 0.1.0
Type level programing1 version - Latest release: over 1 year ago - 1.24 thousand downloads total - 0 stars on GitHub - 1 maintainer
zxc-rs 0.1.0
zxc: your new standard library1 version - Latest release: over 1 year ago - 1.23 thousand downloads total - 0 stars on GitHub - 1 maintainer
one_error 0.0.1 removed
ergonomic and precise error handling built atop type-level set arithmetic and stack context1 version - Latest release: 6 months ago - 0 downloads total - 1 maintainer
Related Keywords
generic
10
rust
10
hlist
9
type-level-programming
9
validated
8
lenses
8
labelled-generic
8
generic-programming
8
fp
8
datatype-generic-programming
8
coproduct
8
frunk
7
types
6
macros
5
type
4
equality
4
type-system
3
verifiable
3
verify
3
dependent
3
internal
2
sum
2
error-handling
2
error
2
anonymous
2
enum
2
binary
2
logic
2
heterogeneous
2
natural-numbers
2
static-dispatch
2
boolean
1
trust
1
security
1
macro
1
operator
1
dsl
1
graphics
1
embedded
1
typenum
1
no-std
1
metaprogramming
1
inequality
1
numbers
1
list
1
auth
1
policy
1
rustollens
1
sets
1
type-sets
1
unification
1
int
1
monoid
1
nat
1
propositional-logic
1
gadt
1
propositional
1
refl
1
proc-macro
1
algebras
1
laws
1
testing
1
derives
1
labelledgeneric
1
trusted
1