Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "verification" keyword
rustproof 0.1.0
Compiler plugin to generate verification conditions from Rust code.1 version - Latest release: over 7 years ago - 1.27 thousand downloads total - 90 stars on GitHub - 1 maintainer
fastpasta 1.21.0
CLI for verifying or examining readout data from the ALICE detector.31 versions - Latest release: 2 months ago - 8.91 thousand downloads total - 1 maintainer
alice_protocol_reader 0.14.0
Reader library for reading raw binary data from the ALICE detector into a convenient structure fo...10 versions - Latest release: 2 months ago - 1 dependent package - 1 dependent repositories - 3.49 thousand downloads total - 1 maintainer
Top 4.6% on crates.io
38 versions - Latest release: 7 months ago - 4 dependent packages - 14 dependent repositories - 63.5 thousand downloads total - 4,149 stars on GitHub - 1 maintainer
check-if-email-exists 0.9.1 💰
Check if an email address exists without sending any email38 versions - Latest release: 7 months ago - 4 dependent packages - 14 dependent repositories - 63.5 thousand downloads total - 4,149 stars on GitHub - 1 maintainer
mikino 0.9.1
A simple induction and BMC engine9 versions - Latest release: about 2 years ago - 3.07 thousand downloads total - 0 stars on GitHub - 1 maintainer
klee-bindings 0.1.0
Raw bindings to the KLEE library using bindgen1 version - Latest release: about 3 years ago - 503 downloads total - 0 stars on GitHub - 1 maintainer
rate-macros 0.3.0 💰
Internal macros for rate6 versions - Latest release: over 4 years ago - 2 dependent packages - 4.67 thousand downloads total - 9 stars on GitHub - 1 maintainer
rate-proof-utils 0.3.0 💰
Utilities for clausal proofs (DRAT, DPR)5 versions - Latest release: over 4 years ago - 2.34 thousand downloads total - 9 stars on GitHub - 1 maintainer
veriwasm 0.1.4
A safety verifier for native-compiled WebAssembly code5 versions - Latest release: over 2 years ago - 1 dependent repositories - 6.68 thousand downloads total - 77 stars on GitHub - 1 maintainer
rate 0.3.0 💰
Clausal proof checker (DRAT, DPR) for certifying SAT solvers' unsatisfiability results5 versions - Latest release: over 4 years ago - 2.53 thousand downloads total - 9 stars on GitHub - 1 maintainer
rate-common 0.3.0 💰
Internal modules for rate5 versions - Latest release: over 4 years ago - 3 dependent packages - 3.95 thousand downloads total - 9 stars on GitHub - 1 maintainer
rustls-platform-verifier 0.3.1
rustls-platform-verifier supports verifying TLS certificates in rustls with the operating system ...5 versions - Latest release: about 1 month ago - 402 thousand downloads total - 47 stars on GitHub - 2 maintainers
ic-response-verification 2.4.0
Client side response verification for the Internet Computer17 versions - Latest release: 3 months ago - 1 dependent repositories - 271 thousand downloads total - 14 stars on GitHub - 1 maintainer
Top 8.3% on crates.io
19 versions - Latest release: about 2 months ago - 10 dependent packages - 10 dependent repositories - 454 thousand downloads total - 14 stars on GitHub - 1 maintainer
ic-certification 2.5.0
Types related to the Internet Computer Public Specification.19 versions - Latest release: about 2 months ago - 10 dependent packages - 10 dependent repositories - 454 thousand downloads total - 14 stars on GitHub - 1 maintainer
ic-representation-independent-hash 2.5.0
A library for computing representation-independent hashes as described in the Internet Computer i...14 versions - Latest release: about 2 months ago - 1 dependent package - 1 dependent repositories - 187 thousand downloads total - 14 stars on GitHub - 1 maintainer
ic-certificate-verification 2.4.0
Certificate verification for the Internet Computer9 versions - Latest release: 3 months ago - 1 dependent package - 1 dependent repositories - 160 thousand downloads total - 14 stars on GitHub - 1 maintainer
ic-cbor 2.5.0
CBOR decoding for Internet Computer clients10 versions - Latest release: about 2 months ago - 2 dependent packages - 1 dependent repositories - 165 thousand downloads total - 14 stars on GitHub - 1 maintainer
nzcp 1.0.2
An implementation of NZ COVID verification, New Zealand's proof of COVID-19 vaccination solution3 versions - Latest release: over 2 years ago - 1.09 thousand downloads total - 7 stars on GitHub - 1 maintainer
hsh 0.0.7 💰
Quantum-Resistant Cryptographic Hash Library for Password Encryption and Verification in ...7 versions - Latest release: 6 months ago - 2 dependent packages - 1 dependent repositories - 3.08 thousand downloads total - 13 stars on GitHub - 1 maintainer
Top 9.4% on crates.io
14 versions - Latest release: about 2 years ago - 18 dependent packages - 76 dependent repositories - 440 thousand downloads total - 28 stars on GitLab.com - 1 maintainer
contracts 0.6.3
Design-by-contract attributes14 versions - Latest release: about 2 years ago - 18 dependent packages - 76 dependent repositories - 440 thousand downloads total - 28 stars on GitLab.com - 1 maintainer
kani-verifier 0.51.0
A bit-precise model checker for Rust.53 versions - Latest release: 2 days ago - 1 dependent repositories - 82.6 thousand downloads total - 1,886 stars on GitHub - 3 maintainers
rtlola-parser 0.3.1
A parser for RTLola specifications.9 versions - Latest release: over 1 year ago - 2 dependent packages - 2 dependent repositories - 5.7 thousand downloads total - 1 stars on GitHub - 3 maintainers
netlist 0.1.15
generic netlist data structure for VLSI design11 versions - Latest release: 8 months ago - 3.11 thousand downloads total - 5 stars on GitHub - 1 maintainer
mikino_api 0.9.1
A simple induction and BMC engine8 versions - Latest release: about 2 years ago - 1 dependent package - 1 dependent repositories - 3.65 thousand downloads total - 0 stars on GitHub - 1 maintainer
rtlola-frontend 0.6.1
A frontend for the RTLola runtime verification framework.15 versions - Latest release: over 1 year ago - 4 dependent packages - 3 dependent repositories - 7.13 thousand downloads total - 1 stars on GitHub - 3 maintainers
disabled_contracts 0.1.0
A clearly stub version of the `contracts` crate.1 version - Latest release: almost 3 years ago - 1 dependent package - 1 dependent repositories - 38.4 thousand downloads total - 0 stars on GitHub - 2 maintainers
rtlola-hir 0.4.1
A high-level intermediate representation for RTLola specifications.11 versions - Latest release: over 1 year ago - 1 dependent package - 2 dependent repositories - 5.72 thousand downloads total - 1 stars on GitHub - 3 maintainers
crev-ed25519-dalek 0.1.2
Fork of ed25519-dalek for `crev` (until mainline is usable for us again).3 versions - Latest release: about 5 years ago - 1 dependent package - 1.87 thousand downloads total - 658 stars on GitHub - 1 maintainer
solana-ed25519-dalek
Fork of ed25519-dalek for `solana`; only used for upstreaming fixes2 versions - Latest release: 9 days ago - 4 dependent packages - 2 dependent repositories - 4.11 thousand downloads total - 658 stars on GitHub - 1 maintainer
votate-ed25519-dalek 1.0.3
Fast and efficient ed25519 EdDSA key generations, signing, and verification in pure Rust.3 versions - Latest release: almost 3 years ago - 1.14 thousand downloads total - 658 stars on GitHub - 1 maintainer
Top 6.5% on crates.io
20 versions - Latest release: 9 days ago - 3 dependent packages - 18 dependent repositories - 65.7 thousand downloads total - 658 stars on GitHub - 2 maintainers
signatory-dalek
signatory-dalek is deprecated! Use ed25519-dalek directly instead. ed25519-dalek natively support...20 versions - Latest release: 9 days ago - 3 dependent packages - 18 dependent repositories - 65.7 thousand downloads total - 658 stars on GitHub - 2 maintainers
test-ed25519-dalek 2.0.0-pre.3
Fast and efficient ed25519 EdDSA key generations, signing, and verification in pure Rust.3 versions - Latest release: over 1 year ago - 900 downloads total - 658 stars on GitHub - 2 maintainers
ed25519-dalek-dondi
Fast and efficient ed25519 EdDSA key generations, signing, and verification in pure Rust.1 version - Latest release: 9 days ago - 1 dependent package - 1.07 thousand downloads total - 658 stars on GitHub - 1 maintainer
Top 7.3% on crates.io
39 versions - Latest release: 2 months ago - 5 dependent packages - 4 dependent repositories - 39.4 thousand downloads total - 2,034 stars on GitHub - 3 maintainers
crev-data 0.25.7
Scalable, social, Code REView system that we desperately need - data types library39 versions - Latest release: 2 months ago - 5 dependent packages - 4 dependent repositories - 39.4 thousand downloads total - 2,034 stars on GitHub - 3 maintainers
nnv-rs 0.6.1
Verification and Statistics on Deep Neural Networks11 versions - Latest release: about 2 years ago - 1 dependent repositories - 3.97 thousand downloads total - 1 stars on GitHub - 1 maintainer
yubi_opt 0.2.0
An easy to use Yubico OTPs implementation.2 versions - Latest release: over 1 year ago - 556 downloads total - 0 stars on GitHub - 1 maintainer
vcd_io 0.2.14
VCD IO utils19 versions - Latest release: 5 months ago - 5.04 thousand downloads total - 1 stars on GitHub - 1 maintainer
lincheck 0.2.1
A linearizability checker for concurrent data structures4 versions - Latest release: 9 months ago - 1 dependent package - 980 downloads total - 8 stars on GitHub - 1 maintainer
ceetle_macros 0.1.0
Procedural Macros for the ceetle Library1 version - Latest release: 11 months ago - 1 dependent package - 517 downloads total - 0 stars on GitHub - 1 maintainer
checksums 0.9.1
Tool for making/verifying checksums of directory trees20 versions - Latest release: over 2 years ago - 5 dependent packages - 13 dependent repositories - 118 thousand downloads total - 36 stars on GitHub - 1 maintainer
move-table-extension
Wrapper for the Move VM which coordinates multiple extensions10 versions - Latest release: 15 days ago - 5 dependent packages - 1 dependent repositories - 13.3 thousand downloads total - 334 stars on GitHub - 1 maintainer
mv-async-vm
Wrapper for the Move VM for the asynchronous execution flavor8 versions - Latest release: 15 days ago - 2.02 thousand downloads total - 334 stars on GitHub - 1 maintainer
ceetle 0.1.0
A Computional Tree Logic (CTL) Verifier1 version - Latest release: 11 months ago - 335 downloads total - 0 stars on GitHub - 1 maintainer
atlas-entity-verifier 0.1.3
Verify referential integrity of Apache Atlas Entities4 versions - Latest release: 3 months ago - 1.51 thousand downloads total - 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
briteverify-rs 0.2.0
Rust client library for the BriteVerify API Suite7 versions - Latest release: 6 months ago - 1.61 thousand downloads total - 0 stars on GitHub - 1 maintainer
bundy 0.1.2
Bundy data signing and verification library3 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 2.93 thousand downloads total - 1 stars on GitHub - 1 maintainer
sequoia-sqv 1.2.0
A simple OpenPGP signature verification program23 versions - Latest release: 23 days ago - 1 dependent repositories - 10.5 thousand downloads total - 1 stars on GitLab.com - 2 maintainers
dia-assert 4.0.0
Helps with confirming user decision on important tasks14 versions - Latest release: over 1 year ago - 1 dependent package - 7.96 thousand downloads total - 1 maintainer
stripe_wh_verify 0.1.0
Easy, standalone verification for your Stripe Webhooks payloads1 version - Latest release: over 3 years ago - 602 downloads total - 2 stars on GitHub - 1 maintainer
rtlola-macros 0.1.2
Procedural macros for more convenient handling of HirModes in the rtlola_hir crate.3 versions - Latest release: over 1 year ago - 1 dependent package - 2 dependent repositories - 3.66 thousand downloads total - 3 maintainers
rtlola-interpreter 0.9.0
An interpreter for RTLola specifications.11 versions - Latest release: over 1 year ago - 3 dependent packages - 2 dependent repositories - 4.92 thousand downloads total - 0 stars on GitHub - 3 maintainers
rtlola-cli 0.1.0
A CLI interface for the RTLola interpreter.1 version - Latest release: over 1 year ago - 303 downloads total - 0 stars on GitHub - 2 maintainers
rtlola-input-plugins 0.1.0
Input plugins to be used in the various frontends of the interpreter1 version - Latest release: over 1 year ago - 1 dependent package - 621 downloads total - 0 stars on GitHub - 2 maintainers
kocheck 0.4.2
Type checker for the lambda-Pi calculus modulo rewriting7 versions - Latest release: 4 months ago - 1.95 thousand downloads total - 18 stars on GitHub - 1 maintainer
kontroli 0.4.0
Type checking for the lambda-Pi calculus modulo rewriting5 versions - Latest release: almost 2 years ago - 1 dependent package - 2.16 thousand downloads total - 21 stars on GitHub - 1 maintainer
rustproof-libsmt 0.1.0
Rust bindings for z3 as utilized by RustProof.1 version - Latest release: over 7 years ago - 1 dependent package - 2.21 thousand downloads total - 2 stars on GitHub - 1 maintainer
rate-sick-check 0.3.0 💰
Verify SICK certificates of proof incorrectness produced by rate5 versions - Latest release: over 4 years ago - 2.12 thousand downloads total - 9 stars on GitHub - 1 maintainer
Related Keywords
rust
22
cryptography
7
monitoring
7
signing
6
curve25519
6
ed25519
6
signature
6
proof-checker
5
sat-solver
5
dfinity
5
icp
5
internet-computer
5
response
5
certification
5
computer
5
ecc
5
internet
5
formal-verification
5
prusti
4
logic
4
viper
4
satisfiability
4
smt
4
parser
4
hash
3
interpreter
3
security
3
analyzer
3
frontend
3
eda
2
model-checking
2
postcondition
2
contracts
2
specifications
2
formal
2
invariant
2
smart-contracts
2
blockchain
2
design-by-contract
2
precondition
2
testing
2
ctl
2
induction
2
certificate
2
type-checking
2
solver
2
typechecker
2
dependent-types
2
dedukti
2
rewriting
2
webhook
1
stripe
1
macro
1
science
1
yubikey
1
yubico-otp
1
yubico
1
yubicloud-otp
1
z3
1
otp
1
multifactor
1
statistics
1
deep-learning
1
ndarray
1
machine-learning
1
trust
1
scalable
1
deductive-reasoning
1
formal-methods
1
proof
1
rust-lang
1
entities
1
apache-atlas
1
automaton
1
why3
1
client
1
checksums
1
directory
1
checksum
1
briteverify
1
reqwest
1
lock-free
1
linearizability
1
concurrency
1
jwt
1
waveform
1
fernet
1
openpgp
1
pgp
1
confirmation
1
vaccine
1
cbor
1
representation
1
independent
1
agent
1
utility
1
os
1
native
1
tls
1
binary-analysis
1