A demo of best practices for open-source Ada/SPARK development
Primary LanguageAdaMIT LicenseMIT
No one’s star this repository yet.