swbaird

Pinned Repositories

• spark2014

  SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

  Language:Ada25334

• bb-runtimes

  Source repository for the GNAT Bare Metal BSPs

  Language:Ada6552

• ada-spark-rfcs

  Platform to submit RFCs for the Ada & SPARK languages

  6428

• User-Community-Input

  Ada User Community Input Working Group - Github Mirror Prototype

  281

swbaird's Repositories