Crypto Primitives
4 projects
Showing 4 of 4 projects
Fiat-CryptoRocq Prover
Synthesizes formally verified, correct-by-construction C, Rust, Go, and other language code for cryptographic field arithmetic primitives.
#correct-by-construction#coq#field-arithmetic
Stars824
Forks168
Last commit4 days ago
kyberGo
Advanced cryptographic toolkit for Go providing primitives beyond basic signing and encryption for distributed systems.
#distributed-systems#go-library#constant-time
Stars696
Forks177
Last commit7 days ago
SecurityDriven.InfernoC#
A professionally audited .NET cryptography library implementing secure-by-default patterns and algorithms.
#secure-by-default#crypto#hash
Stars585
Forks47
Last commit1 year ago
naclGo
Pure Go implementation of the NaCL cryptography API with full feature parity and cross-language compatibility.
#curve25519#go-library#encryption
Stars552
Forks25
Last commit12 days ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.