prehistoric-systems/awesome-cryptography
1
0
Fork 0
mirror of https://github.com/sobolevn/awesome-cryptography.git synced 2026-03-11 07:14:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix alphabetical ordering for nullsec-cryptocheck

Browse source
This commit is contained in:
bad-antics 2026-02-02 10:25:14 -08:00
parent a62f212d0d
commit bacc04f141
No known key found for this signature in database
GPG key ID: 8C6CDDF8466DB932
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -391,6 +391,7 @@ encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as
- [formats](https://github.com/RustCrypto/formats) - Cryptography-related format encoders/decoders: DER, PEM, PKCS, PKIX.
- [hashes](https://github.com/RustCrypto/hashes) - Collection of cryptographic hash functions written in pure Rust.
- [mundane](https://github.com/google/mundane) - is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant.
- [nullsec-cryptocheck](https://github.com/bad-antics/nullsec-cryptocheck) - Cryptographic implementation verifier and auditing tool written in Ada/SPARK for formal verification.
- [ockam](https://github.com/ockam-network/ockam) - is a Rust library for end-to-end encryption and mutual authentication.
- [octavo](https://github.com/libOctavo/octavo) - Highly modular & configurable hash & crypto library.
- [orion](https://github.com/orion-rs/orion) - is a cryptography library written in pure Rust. It aims to provide easy and usable crypto while trying to minimize the use of unsafe code.
@ -408,7 +409,6 @@ encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as
- [sodiumoxide](https://github.com/dnaq/sodiumoxide) - Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium).
- [suruga](https://github.com/klutzy/suruga) - TLS 1.2 implementation in Rust.
- [webpki](https://github.com/briansmith/webpki) - Web PKI TLS X.509 certificate validation in Rust.
- [nullsec-cryptocheck](https://github.com/bad-antics/nullsec-cryptocheck) - Cryptographic implementation verifier and auditing tool written in Ada/SPARK for formal verification.
### Scala