Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

ada ada-spark spark

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

ada ada-spark

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.

ada ada-spark spark

Last synced: 25 Nov 2024