ada-safe-secure

adacore.comsite

Safe and Secure Software. An invitation to Ada 2012.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   ada-keystore github.com

   tool category #ada link ↗

   Ada Keystore - protect your sensitive data with secure storage.

   
2. ▲
   acm-sig-ada sigada.org

   site category #ada link ↗

   The Special Interest Group on Ada.

3. ▲
   ada-security github.com

   tool category #ada link ↗

   OAuth 2.0 client and server framework to secure web applications.

   
4. ▲
   ada-lang-io ada-lang.io

   site category #ada link ↗

   A community site for Ada.

5. ▲
   ada-forum forum.ada-lang.io

   site category #ada link ↗

   Ada Forum at ada-lang.io.

   
6. ▲
   adacontrol adalog.fr

   site category #ada link ↗

   Ada constructs lint tool.

Ada/SPARK › Education > Online Books: “Safe and Secure Software. An invitation to Ada 2012.”