licensing

github.comtool

Open Source Licenses library for Ada.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   licensepp github.com

   tool category #cpp link ↗

   A software license management library for C++ projects. [Apache-2.0]

2. ▲
   ada-ogl github.com

   tool category #ada link ↗

   Ada OpenGL Framework.

   
3. ▲
   libsodium-ada github.com

   tool category #ada link ↗

   A secure cryptographic library (libsodium for Ada).

   
4. ▲
   certiflie github.com

   tool category #ada link ↗

   Source code for the full Ada + SPARK Crazyflie 2.0 firmware.

   
5. ▲
   libsparkcrypto github.com

   tool category #ada link ↗

   A cryptographic library implemented in SPARK.

   
6. ▲
   oto github.com

   tool category #ada link ↗

   Ada binding to OpenAL which tries to mimic original API while using Ada types.

   

Ada/SPARK › Libraries > Utilities: “Open Source Licenses library for Ada.”