chests

github.comtool

Bounded containers for embedded systems.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   ada-traits-containers github.com

   Generic Ada Library for Algorithms and Containers.

   tool topic programming link ↗
   
2. ▲

   Concord github.com

   A feature-complete ECS library.

   tool link ↗
   
3. ▲

   ada-keystore github.com

   Ada Keystore - protect your sensitive data with secure storage.

   tool link ↗
   
4. ▲

   adamant github.com

   A component-based, model-driven framework for constructing reliable and reusable real-time software.

   tool topic programming link ↗
   
5. ▲

   ada-chess github.com

   Chess engine written in Ada.

   tool link ↗
   tool
6. ▲

   charles web.archive.org

   Ada 95 container library, precursor to Ada 2005+ standard containers.

   site link ↗
   site

Ada/SPARK › Libraries > Algorithms, Containers and Protocols: “Bounded containers for embedded systems.”