Ada Language

3 projects

Showing 3 of 3 projects

A curated list of awesome resources for the Ada and SPARK programming languages, including compilers, libraries, tools, and applications.

A grep-like tool that searches for matching contexts of contiguous lines, enabling incremental code exploration in large codebases.

A programming language and verification toolset for engineering high-reliability, safety-critical, and secure applications.

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.