gusthoff

gusthoff's Stars

• pbek/QOwnNotes

  QOwnNotes is a plain-text file notepad and todo-list manager with Markdown support and Nextcloud / ownCloud integration.

  Language:C++4.8k932.6k415

• AdaCore/gnatstudio

  GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

  Language:Ada4205016754

• AdaCore/Ada_Drivers_Library

  Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

  Language:Ada25057110145

• AdaCore/spark2014

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

  Language:Ada250473733

• AdaCore/gprbuild

  GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

  Language:Ada683811621

• AdaCoreU/Courses

  This repository contains course material published to the AdaCore University website

  Language:Ada5419117

• AdaCore/gnatcoverage

  GNATcoverage: Coverage Analysis Tool

  Language:Ada3910169

• AdaCore/why3

  SPARK 2014 repository for the Why3 verification platform.

  Language:OCaml291137

• Ada-Rapporteur-Group/User-Community-Input

  Ada User Community Input Working Group - Github Mirror Prototype

  28261141

• AdaCore/z3

  SPARK 2014 repository for the Z3 SMT solver.

  Language:C++1604