asap

github.comtool

A set of general libraries and thick bindings for use with the AURA package management/build tool. Includes TCP, TLS, HTTP, a high-performance JSON parser/generator, and a formally verified (SPARK) UTF-8 stream decoder.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   ada-ogl github.com

   Ada OpenGL Framework.

   tool link ↗
   
2. ▲

   ada-lsp github.com

   Language Server Protocol for Ada.

   tool link ↗
   tool
3. ▲

   ascon-spark github.com

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

   tool topic programming link ↗
   
4. ▲

   adagl github.com

   Multiplatform Ada/OpenGL bindings (ported to native/OpenGL, A2JS/WebGL and WebAssembly/WebGL).

   tool link ↗
   tool
5. ▲

   asfml github.com

   Ada binding to the Simple and Fast Multimedia Library.

   tool link ↗
   
6. ▲

   coap-spark github.com

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

   tool link ↗
   

Ada/SPARK › Frameworks > Components: “A set of general libraries and thick bindings for use with the AURA package management/build tool. Includes TCP, TLS, HTTP, a high-performance JSON parser/generator, and a formally verified (SPARK) UTF-8 stream decoder.”