< Ada

Share Share Share

Awesome Ada Cryptography

• Ada-Crypto-Library 85

  

  | updated over 6 years ago | Other

  This project is obsolete is no longer developed, maintained or serviced!

• ada-libsecret 2

  

  | updated 9 months ago | Apache License 2.0

  Ada Binding for the libsecret library

• Ascon_SPARK 3

  

  | updated almost 2 years ago | ISC License

  A project to implement the Ascon AEAD algorithm in Ada 2012 / SPARK 2014

• blake2s 1

  

  | updated about 3 years ago | MIT No Attribution

  The BLAKE2s hash function for SPARK83 [Ada (1987)]

• libkeccak 31

  

  | updated about 1 year ago | BSD 3-Clause "New...

  SHA-3 and other Keccak related algorithms in SPARK/Ada.

• libsodium-ada 8

  

  | updated over 8 years ago | ISC License

  libsodium for Ada - A secure cryptographic library

• libsparkcrypto 27

  

  | updated almost 4 years ago

  A cryptographic library in SPARK 2014

• SipHash 1

  

  | updated over 10 years ago | BSD 3-Clause "New...

  A pure Ada implementation of the SipHash PRF (mirror repository).

• SPARKNaCl 114

  

  | updated about 1 year ago | BSD 3-Clause "New...

  SPARK 2014 re-implementation of the TweetNaCl crypto library

• SPARK_NORX 8

  

  | updated over 6 years ago | ISC License

  An Ada 2012 / SPARK 2014 project that implements the NORX authenticated encryption algorithm

• SPARK_SipHash 5

  

  | updated over 6 years ago | Other

  An Ada 2012 / SPARK 2014 project that implements the SipHash keyed hash function.

• STOTP 7

  

  | updated over 3 years ago | GNU Lesser Genera...

  SPARK TOTP library

• xxhash-ada 1

  

  | updated about 2 years ago | MIT License

  xxhash in ada