gusthoff's Stars
pbek/QOwnNotes
QOwnNotes is a plain-text file notepad and todo-list manager with Markdown support and Nextcloud / ownCloud integration.
AdaCore/gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
AdaCore/Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
AdaCore/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
AdaCore/gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
AdaCoreU/Courses
This repository contains course material published to the AdaCore University website
AdaCore/gnatcoverage
GNATcoverage: Coverage Analysis Tool
AdaCore/why3
SPARK 2014 repository for the Why3 verification platform.
Ada-Rapporteur-Group/User-Community-Input
Ada User Community Input Working Group - Github Mirror Prototype
AdaCore/z3
SPARK 2014 repository for the Z3 SMT solver.