Skip to content
View ButcherAdaCore's full-sized avatar
3 followers · 1 following

Achievements

Achievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Pull Shark
BetaSend feedback
Block or Report

Block or report ButcherAdaCore

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. sonarqube sonarqube Public

    Forked from SonarSource/sonarqube

    Continuous Inspection

    Java

  2. awesome-readme awesome-readme Public

    Forked from matiassingers/awesome-readme

    A curated list of awesome READMEs

  3. klee klee Public

    Forked from klee/klee

    KLEE Symbolic Execution Engine

    C++

  4. AFLplusplus AFLplusplus Public

    Forked from AFLplusplus/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!

    C

  5. mach_calculator mach_calculator Public

    Ada 1

  6. AdasMasterMind AdasMasterMind Public

    Version of the classic Master Mind game written in Ada

    1