Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "specifications" keyword

View the packages on the crates.io package registry that are tagged with the "specifications" keyword.

hacspec 0.2.0-beta.4
The hacspec compiler.
5 versions - Latest release: over 4 years ago - 6.24 thousand downloads total - 244 stars on GitHub - 2 maintainers
hacspec-attributes 0.1.0-beta.1
hacspec attributes
1 version - Latest release: over 4 years ago - 1 dependent package - 9 dependent repositories - 1.8 thousand downloads total - 244 stars on GitHub - 2 maintainers
Top 9.0% on crates.io
secret_integers 0.1.7
Wrapping around Rust's integers to allow only constant-time operations
8 versions - Latest release: over 2 years ago - 4 dependent packages - 12 dependent repositories - 43.7 thousand downloads total - 244 stars on GitHub - 2 maintainers
abstract_integers 0.1.5
Defining specification-friendly bounded natural integer types
5 versions - Latest release: over 2 years ago - 1 dependent package - 9 dependent repositories - 9.2 thousand downloads total - 244 stars on GitHub - 2 maintainers
hacspec-util 0.1.0-beta.1
hacspec utilities
1 version - Latest release: over 4 years ago - 2 dependent packages - 9 dependent repositories - 3.09 thousand downloads total - 244 stars on GitHub - 2 maintainers
hacspec-lib 0.1.0-beta.1
The hacspec library.
1 version - Latest release: over 2 years ago - 1 dependent package - 9 dependent repositories - 2.54 thousand downloads total - 244 stars on GitHub - 1 maintainer
prusti-contracts 0.2.0
Tools for specifying contracts with Prusti
11 versions - Latest release: almost 2 years ago - 1 dependent package - 1 dependent repositories - 16.2 thousand downloads total - 1,662 stars on GitHub - 1 maintainer
prusti-std 0.2.0
External specifications for items in std for Prusti
10 versions - Latest release: almost 2 years ago - 11.2 thousand downloads total - 1,662 stars on GitHub - 1 maintainer
spec 0.2.0
A specification manager within source code.
2 versions - Latest release: about 6 years ago - 2 dependent packages - 1 dependent repositories - 4.07 thousand downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
formal-verification 8 cryptography 6 contracts 2 formal 2 verification 2 prusti 2 rust 2 viper 2 constant-time 1 secret 1 specification 1 integers 1