lasp / adamantLinks
A model-based flight software framework for Ada
☆36Updated 3 weeks ago
Alternatives and similar repositories for adamant
Users that are interested in adamant are comparing it to the libraries listed below
Sorting:
- Source repository for the GNAT Bare Metal BSPs☆67Updated this week
- A demo of best practices for open-source Ada/SPARK development☆39Updated 10 months ago
- Ada Embedded Network Stack☆24Updated 3 months ago
- A flight software framework in SPARK/Ada☆52Updated 9 months ago
- Tooling for analysis and manipulation of Ada software