Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "gadt" keyword
strict_encoding_derive 2.0.1 💰
Strict encoding derivation macros23 versions - Latest release: 8 months ago - 7 dependent packages - 42 dependent repositories - 169 thousand downloads total - 7 stars on GitHub - 1 maintainer
strict_encoding_test 2.0.0 💰
Helper functions for testing strict encodings14 versions - Latest release: 8 months ago - 6 dependent packages - 6 dependent repositories - 12.4 thousand downloads total - 7 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 4 years ago - 2 dependent packages - 1 dependent repositories - 7.32 thousand downloads total - 68 stars on GitHub - 1 maintainer
Top 7.8% on crates.io
24 versions - Latest release: 8 months ago - 14 dependent packages - 4 dependent repositories - 44.7 thousand downloads total - 1 maintainer
strict_types 1.6.3
Strict types: confined generalized algebraic data types (GADT)24 versions - Latest release: 8 months ago - 14 dependent packages - 4 dependent repositories - 44.7 thousand downloads total - 1 maintainer
strict_encoding 2.6.2 💰
Strict encoding: deterministic & confined binary serialization for strict types94 versions - Latest release: 5 months ago - 67 dependent packages - 43 dependent repositories - 183 thousand downloads total - 7 stars on GitHub - 1 maintainer
typewit 1.9.0
type-witness-based abstractions, mostly for emulating polymorphism in const fns12 versions - Latest release: 5 months ago - 6 dependent packages - 2 dependent repositories - 443 thousand downloads total - 7 stars on GitHub - 1 maintainer
Related Keywords
rust
4
strict-encoding
3
category-theory
3
functional-programming
3
serialization-format
3
serialization-library
3
type-safety
3
type-theory
3
refl
2
aluvm
1
encoding
1
strict-types
1
protobuf
1
serialization
1
serde
1
const_fn
1
type_witness
1
type-equality
1
ubideco
1
type-system
1
propositional-logic
1
equality
1
propositional
1
type-level
1
test-helpers
1
proc-macro
1