Spark Ada
3 projects
Showing 3 of 3 projects
Ada/SPARK
A curated list of awesome resources for the Ada and SPARK programming languages, including compilers, libraries, tools, and applications.
#systems-programming#ada-library#ada-framework
Stars841
Forks88
Last commit14 days ago
hirtosAda
A high-integrity multi-core RTOS and separation kernel written in SPARK Ada, designed for safety-critical embedded systems.
#multi-core#real-time-operating-system#embedded-systems
Stars51
Forks3
Last commit4 months ago
libkeccakAda
A SPARK/Ada implementation of the Keccak family of cryptographic sponge functions, including SHA-3, with formal proof of type safety.
#tuplehash#keccak#ada
Stars40
Forks3
Last commit2 years ago
Related Tags
Community-curated · Updated weekly · 100% open source
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.