hacl-star
by hacl-star
HACL*, a formally verified cryptographic library written in F*
AI summary
Cryptographic library
A formally verified cryptographic library providing high-performance implementations of modern algorithms
- stars
- 1.6K
- forks
- 169
- watching
- 78
Similar projects
Found by comparing what the projects do, not just their names.
pyca/pynacl1.1K
Crypto library
A Python interface to cryptographic primitives and protocols
Crypto library
A Haskell library implementing cryptographic protocols for secure communication.
Crypto library
A C++ library providing common cryptography and network functionality for secure computation protocols
Cryptographic library
Provides Rust compatibility with NaCl-family libraries for secure cryptographic functions.
Crypto library
A collection of cryptographic functions and algorithms from the AutoHotkey community.
Homomorphic encryption library
An implementation of a fully homomorphic encryption scheme using large integers
Data structure library
A collection of reusable data structures and streaming algorithms in Common Lisp.
Cryptography library
A C# cryptography library implementing a subset of cryptographic primitives and algorithms based on NaCl.
Hologram library
A MATLAB library that simplifies the computation of holograms and related techniques.
Cryptography library
A collection of cryptographic primitives implemented in Rust from scratch to understand everything from first principles.
pornin/crrl136
Cryptographic library
A Rust library providing efficient implementations of cryptographic primitives
Encryption library
A Ruby binding to the Networking and Cryptography (NaCl) library for secure data encryption and transmission.
Cryptography specification language
An interpreter for a public standard language for specifying cryptographic algorithms
Crypto library
A Haskell cryptographic library providing high-level and safe access to various cryptographic operations.
Encryption library
An encryption library allowing secure execution of functions on encrypted data without decrypting it
