libkeccak
by damaki
SHA-3 and other Keccak related algorithms in SPARK/Ada.
AI summary
Cryptographic library
A library implementing cryptographic algorithms using the SPARK/Ada programming language and static proof of type safety.
- stars
- 33
- forks
- 3
- watching
- 7
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Cipher library
An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption.
Crypto library
A collection of cryptographic functions and algorithms from the AutoHotkey community.
Hashing library
A comprehensive C library providing various hashing and encryption functions
Encryption library
A portable C++ library for encryption and decryption of binary data using various algorithms
Cryptography library
Provides a comprehensive toolkit for cryptographic functions and algorithms
Crypto library
A lightweight cryptographic library providing simple functions to solve common problems.
Crypto library
A set of Ada bindings for the NaCl cryptographic library to provide easy-to-use encryption, hashing, and authentication functionality.
Crypto library
Provides a user-space interface to the Linux kernel crypto API
Hash function library
An Ada implementation of the SipHash keyed hash function for cryptographic protection against denial-of-service attacks.
ektrah/nsec400
Crypto library
A cryptographic library for .NET based on libsodium
dedis/kyber646
Crypto library
A comprehensive cryptographic toolkit for Go developers
Quantum crypto library
Provides a C library implementing quantum-resistant cryptographic algorithms and APIs
Keccak implementation
An implementation of Keccak derived functions with various features and optimizations.
Message processor
An implementation of a cryptographic primitive for message processing and key expansion
Encryption library
An implementation of authenticated encryption and authentication primitives using the Keccak permutation and NumPy
Featured in 1 awesome list
Each link jumps to the spot where the list mentions libkeccak.
