ada-spark

There are 3 repositories under ada-spark topic.

• mhatzl / spark_unbound

  Unbound data structures in Ada-Spark.

  adaada-spark
  Language:Ada 11
• Alice

  alice-adventures / Alice

  Adventures for Learning and Inspiring Coding Excellence

  adaada-languageada-sparkadvent-of-codeadventurescoding-challengescodingameproject-eulercoding-excellence
  Language:Ada 10

• jcdubois / moth

  Minimalist cooperative operating system supporting multiple tasks with MMU protection

  adaada-sparkcooperative-multitaskingembeddedleon3microkernelmmumothoperating-systemseparation-kernelsparcspark-adaspark2014
  Language:C 8
• ada-spark-car-assistant

  omonimus1 / ada-spark-car-assistant

  🚗 ADA Spark Car' Assistant Prototype for Formal Approches to software Engineer at Napier University

  adaada-sparknapier-universityspark
  Language:Ada 2

• jonny-binns / FASE-Coursework

  Coursework for the Formal Approaches to Software Engineering module taken in 4th year

  adaada-spark
  0

• musevarg / ADA-SPARK-Plane-Autopilot

  A pilot assistance system for a plane written in the ADA SPARK language.

  adaada-sparkspark
  Language:Ada 0

• MxAR / spark-rfsb509exp

  A collection of silver-level SPARK 2014 verified RFSB509 implementations, that deviate from the original specifications. This is for research only.

  ada-sparkcryptographysecurity
  Language:Ada 0

• jonny-binns / FASE-Practicals

  Contains the practice work and code from lectures in the Formal Approaches to Software Engineering Module

  adaada-sparkspark
  Language:Ada

• marialuquea / Train_Controller_Ada-SPARK

  adaada-sparksparktrain-controller
  Language:Ada