ascon-spark

github.comtool

Ada/SPARK implementation of the Ascon Authenticated Encryption with Additional Data Algorithm.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   spark-norx github.com

   tool category #ada link ↗

   Ada/SPARK implementation of the NORX Authenticated Encryption with Additional Data Algorithm.

2. ▲
   ada-keystore github.com

   tool category #ada link ↗

   Ada Keystore - protect your sensitive data with secure storage.

   
3. ▲
   ada-ogl github.com

   tool category #ada link ↗

   Ada OpenGL Framework.

   
4. ▲
   adage github.com

   tool category #ada link ↗

   An Ada/SPARK alternative to sudo and doas.

   
5. ▲
   ada-lsp github.com

   tool category #ada link ↗

   Language Server Protocol for Ada.

6. ▲
   coap-spark github.com

   tool category #ada link ↗

   A formally verified implementation of CoAP, the Constrained Application Protocol.

   

Ada/SPARK › Libraries > Cryptography: “Ada/SPARK implementation of the Ascon Authenticated Encryption with Additional Data Algorithm.”