Ada/SPARK drone SW (In Russian)
Однажды на новогодних каникулах, лениво листая интернет, бракоделы в нашем* R&D офисе заметили видео с испытаний прототипа роботакси. Комментатор отзывался восторженным тоном – революция,...
Recently, on the Gitter Ada Programming Language lobby, there have been discussions on cross-compiling for Cortex M micro-controllers, spec...
A template repo
A template repo for Ada projects. Contribute to reznikmm/template development by creating an account on GitHub.
Time to time I create a new Ada repo on GitHub. Till today I wrote them from the scratch each time, copy/pasting some pieces from others my projects. It appears to take time. So I decided to create a template repo, keep it up to date and update when I find something good to be reused.
For now it has a README template, a pair of project files (for a library and an executable), REUSE compliant license headers, GitHub Actions script, COPR scripts to create Fedora RPMs.
Feel free to take it as a template for your project (change all as you need including license) or share your ideas.
Video FOSDEM 2021: Proving heap-manipulating programs with SPARK
YouTube Video
Click to view this content.
FOSDEM 2021: Adding contracts to the Ada standard libraries
YouTube Video
Click to view this content.