Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with ada-spark
A curated list of projects in awesome lists tagged with ada-spark .
https://github.com/jonny-binns/fase-practicals
Contains the practice work and code from lectures in the Formal Approaches to Software Engineering Module
Last synced: 18 Nov 2024
https://github.com/jonny-binns/fase-coursework
Coursework for the Formal Approaches to Software Engineering module taken in 4th year
Last synced: 18 Nov 2024
https://github.com/musevarg/ada-spark-plane-autopilot
A pilot assistance system for a plane written in the ADA SPARK language.
Last synced: 25 Nov 2024
