ButcherAdaCore

Senior Software Engineer at AdaCore

@AdaCoreUK

Pinned Repositories

cheri-examples
Language:Ada2 3 00
cuda
Language:Ada18 30 04
gnatcoverage
GNATcoverage: Coverage Analysis Tool
Language:Ada36 9 139
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Language:Ada398 50 16352
AdasMasterMind
Version of the classic Master Mind game written in Ada
01
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!
Language:C00
awesome-readme
A curated list of awesome READMEs
00
klee
KLEE Symbolic Execution Engine
Language:C++00
mach_calculator
Language:Ada01
sonarqube
Continuous Inspection
Language:Java00

ButcherAdaCore's Repositories

ButcherAdaCore/AdasMasterMind
Version of the classic Master Mind game written in Ada
01
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!
Language:C00
ButcherAdaCore/awesome-readme
A curated list of awesome READMEs
00
ButcherAdaCore/klee
KLEE Symbolic Execution Engine
Language:C++00
ButcherAdaCore/mach_calculator
Language:Ada01
ButcherAdaCore/sonarqube
Continuous Inspection
Language:Java00