Pinned Repositories
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
alire
Command-line tool from the Alire project and supporting library
audio_wavefiles
Ada Wavefile Library
gnatcoll-core
GNAT Components Collection – Core packages
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Haystack-Ada
Renaissance-Ada
Tooling for analysis and manipulation of Ada software
TorXakis
A tool for Model Based Testing
z3
The Z3 Theorem Prover
pjljvandelaar's Repositories
pjljvandelaar/Haystack-Ada
pjljvandelaar/alire
Command-line tool from the Alire project and supporting library
pjljvandelaar/audio_wavefiles
Ada Wavefile Library
pjljvandelaar/gnatcoll-core
GNAT Components Collection – Core packages
pjljvandelaar/gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
pjljvandelaar/gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
pjljvandelaar/hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
pjljvandelaar/spawn
pjljvandelaar/swagger-ada
Ada support for OpenAPI code generator