Spark Ada
Showing 7 of 7 projects
A curated list of awesome resources for the Ada and SPARK programming languages, including compilers, libraries, tools, and applications.
A high-integrity multi-core RTOS and separation kernel written in SPARK Ada, designed for safety-critical embedded systems.
A SPARK/Ada implementation of the Keccak family of cryptographic sponge functions, including SHA-3, with formal proof of type safety.
A minimalistic, security-focused x86-64 operating system kernel written in Ada/SPARK with formal verification.
A graphics initialization library for embedded environments, written in SPARK Ada and supporting Intel Core processors.
A formally verified implementation of the Constrained Application Protocol (CoAP) in SPARK/Ada, ensuring correctness for constrained IoT devices.
A SPARK83 implementation of the BLAKE2s hash function for Ada 1987, designed for resource-constrained platforms.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.