hainque

Pinned Repositories

• bb-runtimes

  Source repository for the GNAT Bare Metal BSPs

  Language:Ada63203350

• cvc5

  SPARK 2014 repository for the CVC4 SMT solver.

  Language:SMT0705

• gnatcoll-bindings

  GNAT Components Collection – Bindings to C libraries

  Language:Ada13351215

• gnatcoll-core

  GNAT Components Collection – Core packages

  Language:Ada44145529

• gnatcoverage

  GNATcoverage: Coverage Analysis Tool

  Language:Ada369139

• gnatstudio

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

  Language:Ada3995016352

• gpr

  The framework for analyzing the GNAT Project (GPR) files

  Language:Ada14979

• gprbuild

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

  Language:Ada653711521

• gprconfig_kb

  GPR configuration knowledge base

  33159

• qemu

  Language:C12708

hainque's Repositories