spark-sip-hash

github.comtool

Ada/SPARK implementation of the SipHash keyed hash function.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   sip-hash github.com

   A pure Ada implementation of the SipHash PRF.

   tool link ↗
   
2. ▲

   sparkle github.com

   Haskell on Apache Spark.

   tool topic programming link ↗
   
3. ▲

   libsparkcrypto github.com

   A cryptographic library implemented in SPARK.

   tool link ↗
   
4. ▲

   blake2s github.com

   SPARK83 implementation of the BLAKE2s hash function.

   tool link ↗
   
5. ▲

   siphash-elixir github.com

   Elixir implementation of the SipHash hash family.

   tool topic programming link ↗
   
6. ▲

   havk github.com

   x86-64 security-focused OS being created with SPARK.

   tool link ↗
   

Ada/SPARK › Libraries > Cryptography: “Ada/SPARK implementation of the SipHash keyed hash function.”