Skip to content
View davis-matthew's full-sized avatar
8 followers · 4 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
Block or Report

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

  • Billy-Hatcher-Modding Public

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

    Python 1 2 Updated Jul 6, 2024

  • CompCertDev Public

    Forked from Youngzt998/CompCertDev
    GNU Lesser General Public License v2.1 Updated Jul 6, 2024

  • THE-Software Public

    THE-Repository for THE-Software

    Java Updated Jun 30, 2024

  • OverEasy Public

    Forked from Shadowth117/OverEasy

    A level editor for Billy Hatcher and the Giant Egg

    GDScript Updated Jun 17, 2024

  • panorama Public

    Forked from momentum-mod/panorama

    Momentum Mod's game client panorama (UI) code.

    JavaScript MIT License Updated May 10, 2024

  • DISCO Public

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

    C++ 1 Updated Apr 22, 2024

  • SVF-Project Public

    Forked from SVF-tools/SVF-example

    4240 Project 3 / 6430 SVF Project infrastructure

    TeX Updated Feb 6, 2024

  • davis-matthew.github.io Public

    My Personal Website

    JavaScript Updated Dec 22, 2023

  • Fenix Public

    Forked from sandialabs/Fenix

    Fenix: A Portable, Flexible Fault Tolerance Programming Framework for MPI Applications

    C Other Updated Oct 31, 2023

  • symcc Public

    Forked from eurecom-s3/symcc

    SymCC: efficient compiler-based symbolic execution

    C++ GNU General Public License v3.0 Updated Oct 20, 2023

  • LeanDojo Public

    Forked from lean-dojo/LeanDojo

    Tool for data extraction and interacting with Lean programmatically.

    Python MIT License Updated Oct 5, 2023

  • alive2 Public

    Forked from AliveToolkit/alive2

    Automatic verification of LLVM optimizations

    C++ MIT License Updated Sep 27, 2023

  • jape Public

    Forked from RBornat/jape

    Jape, a configurable proof editor (best at natural deduction and sequent calculus)

    OCaml GNU General Public License v2.0 Updated Sep 27, 2023

  • painless Public

    Forked from lip6/painless
    C++ Other Updated Sep 14, 2023

  • kokkos-resilience Public

    Forked from kokkos/kokkos-resilience

    Resilience Extensions for Kokkos

    C++ Other Updated Aug 29, 2023

  • OSS Public archive

    An Open Source Code Comment Spellchecker

    Java Updated Aug 29, 2023

  • z3 Public

    Forked from Z3Prover/z3

    The Z3 Theorem Prover

    C++ Other Updated May 31, 2023

  • calculator Public

    Forked from microsoft/calculator

    Windows Calculator: A simple yet powerful calculator that ships with Windows

    C++ MIT License Updated Dec 25, 2022

  • SHAD Public

    Forked from pnnl/SHAD

    Scalable High-performance Algorithms and Data-structures

    C++ Apache License 2.0 Updated Dec 14, 2022

  • Images-to-PDF Public

    Forked from Swati4star/Images-to-PDF

    An app to convert images to PDF file!

    Java GNU General Public License v3.0 Updated Nov 20, 2022

  • ToyTraceSummarizer Public

    A trace summarizer for toy traces exploiting the nature of OpenMP data mapping consistency bugs to improve analysis overhead

    Java Updated Oct 21, 2022

  • hclib Public

    Forked from srirajpaul/hclib

    A C/C++ task-based programming model for shared memory and distributed parallel computing.

    C++ BSD 3-Clause "New" or "Revised" License Updated Oct 13, 2022

  • NEO-SVF Public

    A tool which creates TSan blacklists through the LLVM-based SVF-Tools analysis framework

    C Other Updated Oct 6, 2022

  • gitHistoryVSCode Public

    Forked from DonJayamanne/gitHistoryVSCode

    Git History for Visual Studio Code

    TypeScript MIT License Updated Aug 3, 2022

  • coderrect-test Public

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

    C++ Updated May 28, 2021

  • extrae Public

    Forked from bsc-performance-tools/extrae

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

    C GNU Lesser General Public License v2.1 Updated Mar 15, 2021

  • llvm-project Public

    Forked from prithayan/llvm-project

    My local checkout of LLVM branch, mainly used for OpenMP work, the OMPSan branch is the updated version

    C++ Updated Sep 27, 2020

  • billy-bot Public

    Forked from travisbaylor/billy-bot

    Quality of life bot for the Billy Hatcher speedrunning Discord.

    Python Updated Jul 26, 2020