asn1scc

github.comtool

An open source ASN.1 generator to Ada type declarations and encoders/decoders.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲
   suid-helper gitlab.com

   site category #ada link ↗

   Small Ada library that helps in writing safer suid programs.

   
2. ▲
   ada-bin2asc github.com

   tool category #ada link ↗

   Various binary-to-ASCII codecs such as Base64.

   
3. ▲
   ada-lsp github.com

   tool category #ada link ↗

   Language Server Protocol for Ada.

4. ▲
   j2ada github.com

   tool category #ada link ↗

   Translator for a Java valid source code in Ada source code.

5. ▲
   libsodium-ada github.com

   tool category #ada link ↗

   A secure cryptographic library (libsodium for Ada).

   
6. ▲
   spark-by-example github.com

   tool category #ada link ↗

   Collection of verified functions and data types in SPARK.

Ada/SPARK › Tools > Generation: “An open source ASN.1 generator to Ada type declarations and encoders/decoders.”