Skip to content
View davis-matthew's full-sized avatar

Block or report davis-matthew

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 Loading

  1. DISCO DISCO Public

    DISCO: Dependent-type Inspection for String Correctness On-the-fly

    C++ 1

  2. Billy-Hatcher-Modding Billy-Hatcher-Modding Public

    Resources and Tutorials for Modding Billy Hatcher and the Giant Egg (2003, GCN)

    HTML 1 2

  3. billy-bot billy-bot Public

    Forked from travisbaylor/billy-bot

    Quality of life bot for the Billy Hatcher speedrunning Discord.

    Python

  4. extrae extrae Public

    Forked from bsc-performance-tools/extrae

    Instrumentation framework to generate execution traces of the most used parallel runtimes.

    C

  5. OSS OSS Public archive

    An Open Source Code Comment Spellchecker

    Java

  6. coderrect-test coderrect-test Public

    A repo to demo how to use coderrect to detect concurrency bugs

    C++