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
170 forks
Language: F*
last commit: 9 days ago cryptographyeverestformal-methodsformal-verificationhaclhigh-performanceinriasecurityverificationverified-primitives
Related projects:
| Repository | Description | Stars |
|---|---|---|
 pyca/pynacl | A Python interface to cryptographic primitives and protocols | 1,077 |
 haskell-cryptography/cacophony | A Haskell library implementing cryptographic protocols for secure communication. | 96 |
 secretflow/yacl | Provides cryptographic primitives and protocols for secure computation and communication. | 79 |
 rustcrypto/nacl-compat | Provides Rust compatibility with NaCl-family libraries for secure cryptographic functions. | 58 |
 ahkscript/libcrypt.ahk | A collection of cryptographic functions and algorithms from the AutoHotkey community. | 68 |
 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. | 47 |
 codesinchaos/chaos.nacl | A C# cryptography library implementing a subset of cryptographic primitives and algorithms based on NaCl. | 132 |
 ahu-hololab/hololib-matlab | A MATLAB library that simplifies the computation of holograms and related techniques. | 59 |
 pluto/ronkathon | A collection of cryptographic primitives implemented in Rust from scratch to understand everything from first principles. | 190 |
 pornin/crrl | A Rust library providing efficient implementations of cryptographic primitives | 134 |
 rubycrypto/rbnacl | A Ruby binding to the Networking and Cryptography (NaCl) library for secure data encryption and transmission. | 984 |
 galoisinc/cryptol | An interpreter for a public standard language for specifying cryptographic algorithms | 1,136 |
 raaz-crypto/raaz | A Haskell cryptographic library providing high-level and safe access to various cryptographic operations. | 68 |
 bogdan-kulynych/libshe | An encryption library allowing secure execution of functions on encrypted data without decrypting it | 27 |