a-stream-tools

github.comtool

Stream utilities for Ada2005 and 2012.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   ada-utilities github.com

   VSCode extension Ada programmers which provides a few utility functions.

   tool link ↗
   
2. ▲

   ada-ogl github.com

   Ada OpenGL Framework.

   tool link ↗
   
3. ▲

   aes-stream github.com

   A fast AES-based stream cipher for C. [ISC]

   tool link ↗
   tool
4. ▲

   ada-actions github.com

   Ada Toolchains for GitHub Actions.

   tool link ↗
   tool
5. ▲

   testy github.com

   Ada testing framework, part of Tada.

   tool link ↗
   
6. ▲

   agpl github.com

   Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor).

   tool link ↗
   

Ada/SPARK › Libraries > Utilities: “Stream utilities for Ada2005 and 2012.”