Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "formal-verification" keyword
hacspec-attributes 0.1.0-beta.1
hacspec attributes1 version - Latest release: over 3 years ago - 1 dependent package - 9 dependent repositories - 666 downloads total - 242 stars on GitHub - 2 maintainers
libcrux-platform 0.0.2-pre.2
Platform detection crate for libcrux.2 versions - Latest release: 6 months ago - 3 dependent packages - 2.94 thousand downloads total - 15 stars on GitHub - 1 maintainer
libcrux 0.0.1
The Formally Verified Cryptography Library7 versions - Latest release: 11 months ago - 1 dependent package - 3.5 thousand downloads total - 15 stars on GitHub - 1 maintainer
libcrux-hacl 0.0.2-pre.2
hacl sys crate of libcrux.2 versions - Latest release: 6 months ago - 1 dependent package - 2.17 thousand downloads total - 43 stars on GitHub - 1 maintainer
libjade-sys 0.0.1
Rust bindings for libjade, a formally verified cryptographic library written in jasmin.4 versions - Latest release: 11 months ago - 1 dependent package - 2.93 thousand downloads total - 15 stars on GitHub - 1 maintainer
abstract_integers 0.1.5
Defining specification-friendly bounded natural integer types5 versions - Latest release: about 1 year ago - 1 dependent package - 9 dependent repositories - 3.85 thousand downloads total - 242 stars on GitHub - 2 maintainers
Top 9.0% on crates.io
8 versions - Latest release: about 1 year ago - 4 dependent packages - 12 dependent repositories - 27.5 thousand downloads total - 242 stars on GitHub - 2 maintainers
secret_integers 0.1.7
Wrapping around Rust's integers to allow only constant-time operations8 versions - Latest release: about 1 year ago - 4 dependent packages - 12 dependent repositories - 27.5 thousand downloads total - 242 stars on GitHub - 2 maintainers
hacspec-lib 0.1.0-beta.1
The hacspec library.1 version - Latest release: about 1 year ago - 1 dependent package - 9 dependent repositories - 1.32 thousand downloads total - 242 stars on GitHub - 1 maintainer
hacspec 0.2.0-beta.4
The hacspec compiler.5 versions - Latest release: about 3 years ago - 2.07 thousand downloads total - 242 stars on GitHub - 2 maintainers
hacspec-util 0.1.0-beta.1
hacspec utilities1 version - Latest release: over 3 years ago - 2 dependent packages - 9 dependent repositories - 1.7 thousand downloads total - 242 stars on GitHub - 2 maintainers
qbar 0.0.0
the rational proof assistant1 version - Latest release: over 3 years ago - 469 downloads total - 1 stars on GitHub - 1 maintainer
trivial-kernel 0.9.0
A Metamath Zero kernel for Trivial10 versions - Latest release: about 3 years ago - 1 dependent package - 3.9 thousand downloads total - 2 stars on GitHub - 1 maintainer
everrs 0.2.1
Bindings for the HACL*/EverCrypt crypto library3 versions - Latest release: about 4 years ago - 1.37 thousand downloads total - 2 stars on GitHub - 1 maintainer
prusti-contracts 0.2.0
Tools for specifying contracts with Prusti11 versions - Latest release: 8 months ago - 1 dependent package - 1 dependent repositories - 5.54 thousand downloads total - 1,460 stars on GitHub - 1 maintainer
prusti-std 0.2.0
External specifications for items in std for Prusti10 versions - Latest release: 8 months ago - 2.78 thousand downloads total - 1,460 stars on GitHub - 1 maintainer
prusti-specs 0.2.0
Internal Prusti crate for parsing specifications12 versions - Latest release: 8 months ago - 1 dependent package - 5.14 thousand downloads total - 1,460 stars on GitHub - 1 maintainer
prusti-contracts-proc-macros 0.2.0
Internal `proc-macro` Prusti crate11 versions - Latest release: 8 months ago - 1 dependent package - 2 dependent repositories - 5.89 thousand downloads total - 1,460 stars on GitHub - 1 maintainer
pearlite 0.1.0
Reserved for Creusot's pearlite language crate1 version - Latest release: over 2 years ago - 399 downloads total - 968 stars on GitHub - 1 maintainer
hax-adt-into 0.1.0-pre.1
hax adt into helper crate1 version - Latest release: 7 months ago - 1 dependent package - 508 downloads total - 125 stars on GitHub - 1 maintainer
hax-frontend-exporter 0.1.0-pre.1
hax frontend exporter helper crate1 version - Latest release: 7 months ago - 2 dependent packages - 434 downloads total - 125 stars on GitHub - 1 maintainer
hax-cli-options-engine 0.1.0-pre.1
hax cli options engine helper crate1 version - Latest release: 7 months ago - 1 dependent package - 343 downloads total - 125 stars on GitHub - 1 maintainer
hax-diagnostics 0.1.0-pre.1
hax diagnostics helper crate1 version - Latest release: 7 months ago - 2 dependent packages - 1 dependent repositories - 429 downloads total - 125 stars on GitHub - 1 maintainer
hax-subcommands 0.1.0-pre.1
The high assurance translation toolchain1 version - Latest release: 7 months ago - 252 downloads total - 125 stars on GitHub - 1 maintainer
hax-frontend-exporter-options 0.1.0-pre.1
hax frontend options1 version - Latest release: 7 months ago - 4 dependent packages - 597 downloads total - 125 stars on GitHub - 1 maintainer
hax-cli-options 0.1.0-pre.1
hax cli options1 version - Latest release: 7 months ago - 2 dependent packages - 436 downloads total - 125 stars on GitHub - 1 maintainer
Related Keywords
rust
14
cryptography
10
specifications
8
verification
5
encryption
4
signatures
4
prusti
4
viper
4
rust-lang
2
formal
2
contracts
2
deductive-reasoning
1
formal-methods
1
x25519
1
proof
1
why3
1
high-assureance
1
hacl
1
chacha20-poly1305
1
bindings
1
no-std
1
crypto
1
metamath
1
metamath-zero
1
trivial
1
type-theory
1
rational-deduction
1
qbar
1
proof-assistant
1
natural-deduction
1
logic
1
deduction
1
secret
1
constant-time
1
specification
1
integers
1