Pinned Repositories
cheri-examples
cuda
gnatcoverage
GNATcoverage: Coverage Analysis Tool
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
AdasMasterMind
Version of the classic Master Mind game written in Ada
AFLplusplus
afl++ is afl with community patches, AFLfast power schedules, qemu 3.1 upgrade + laf-intel support, MOpt mutators, InsTrim instrumentation, unicorn_mode, Redqueen and a lot more!
awesome-readme
A curated list of awesome READMEs
klee
KLEE Symbolic Execution Engine
mach_calculator
sonarqube
Continuous Inspection
ButcherAdaCore's Repositories
ButcherAdaCore/AdasMasterMind
Version of the classic Master Mind game written in Ada
ButcherAdaCore/AFLplusplus
afl++ is afl with community patches, AFLfast power schedules, qemu 3.1 upgrade + laf-intel support, MOpt mutators, InsTrim instrumentation, unicorn_mode, Redqueen and a lot more!
ButcherAdaCore/awesome-readme
A curated list of awesome READMEs
ButcherAdaCore/klee
KLEE Symbolic Execution Engine
ButcherAdaCore/mach_calculator
ButcherAdaCore/sonarqube
Continuous Inspection