A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Repository Index
56,139 visible repositories in the index
25–48 of 122 · Most stars
GNATcoverage: Coverage Analysis Tool
The Google Protocol Buffers implementation in Ada
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
- ada
- ada-language
- zip
- zip-archive
Ada Keystore - protect your sensitive data with secure storage
- keystore
- security-tools
- secure-storage
The PragmAda Reusable Components
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
Ada support for OpenAPI code generator
The XML/Ada toolkit.
Ada Database Objects
An attempt at a minimalistic and secure operating system.
Ada Embedded Network Stack
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
The AURA Reference Implementation
The repository host gives no description.
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
Standard Ada library specification as defined in Reference Manual
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
Ada API to the Windows library