Pinned Repositories
bb-runtimes
Source repository for the GNAT Bare Metal BSPs
cvc5
SPARK 2014 repository for the CVC4 SMT solver.
gnatcoll-bindings
GNAT Components Collection – Bindings to C libraries
gnatcoll-core
GNAT Components Collection – Core packages
gnatcoverage
GNATcoverage: Coverage Analysis Tool
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
gpr
The framework for analyzing the GNAT Project (GPR) files
gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
gprconfig_kb
GPR configuration knowledge base
qemu
hainque's Repositories
hainque doesn’t have any repository yet.