hacl-star
Cryptographic library
A formally verified cryptographic library providing high-performance implementations of modern algorithms
HACL*, a formally verified cryptographic library written in F*
2k stars
78 watching
169 forks
Language: F*
last commit: 2 months ago cryptographyeverestformal-methodsformal-verificationhaclhigh-performanceinriasecurityverificationverified-primitives
Related projects:
| Repository | Description | Stars |
|---|---|---|
 pyca/pynacl | A Python interface to cryptographic primitives and protocols | 1,079 |
 haskell-cryptography/cacophony | A Haskell library implementing cryptographic protocols for secure communication. | 96 |
 secretflow/yacl | A C++ library providing common cryptography and network functionality for secure computation protocols | 80 |
 rustcrypto/nacl-compat | Provides Rust compatibility with NaCl-family libraries for secure cryptographic functions. | 60 |
 ahkscript/libcrypt.ahk | A collection of cryptographic functions and algorithms from the AutoHotkey community. | 69 |
 hcrypt-project/libscarab | An implementation of a fully homomorphic encryption scheme using large integers | 44 |
 sirherrbatka/cl-data-structures | A collection of reusable data structures and streaming algorithms in Common Lisp. | 48 |
 codesinchaos/chaos.nacl | A C# cryptography library implementing a subset of cryptographic primitives and algorithms based on NaCl. | 134 |
 ahu-hololab/hololib-matlab | A MATLAB library that simplifies the computation of holograms and related techniques. | 61 |
 pluto/ronkathon | A collection of cryptographic primitives implemented in Rust from scratch to understand everything from first principles. | 192 |
 pornin/crrl | A Rust library providing efficient implementations of cryptographic primitives | 136 |
 rubycrypto/rbnacl | A Ruby binding to the Networking and Cryptography (NaCl) library for secure data encryption and transmission. | 983 |
 galoisinc/cryptol | An interpreter for a public standard language for specifying cryptographic algorithms | 1,139 |
 raaz-crypto/raaz | A Haskell cryptographic library providing high-level and safe access to various cryptographic operations. | 67 |
 bogdan-kulynych/libshe | An encryption library allowing secure execution of functions on encrypted data without decrypting it | 27 |