ohenley/awesome-ada

A curated list of awesome resources related to the Ada and SPARK programming language

↗ Open on GitHub

Stars

864

Forks

91

Language

—

License

CC0-1.0

Last push

3 months ago

awesome awesome-list spark ada ada-binding ada-framework ada-language ada-library ada-programs gnat spark-ada

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.