Matthew Davis's repositories
Billy-Hatcher-Modding
Resources and Tutorials for Modding Billy Hatcher and the Giant Egg (2003, GCN)
alive2
Automatic verification of LLVM optimizations
billy-bot
Quality of life bot for the Billy Hatcher speedrunning Discord.
calculator
Windows Calculator: A simple yet powerful calculator that ships with Windows
coderrect-test
A repo to demo how to use coderrect to detect concurrency bugs
davis-matthew.github.io
My Personal Website
extrae
Instrumentation framework to generate execution traces of the most used parallel runtimes.
Fenix
Fenix: A Portable, Flexible Fault Tolerance Programming Framework for MPI Applications
gitHistoryVSCode
Git History for Visual Studio Code
hclib
A C/C++ task-based programming model for shared memory and distributed parallel computing.
Images-to-PDF
An app to convert images to PDF file!
jape
Jape, a configurable proof editor (best at natural deduction and sequent calculus)
kokkos-resilience
Resilience Extensions for Kokkos
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
llvm-project
My local checkout of LLVM branch, mainly used for OpenMP work, the OMPSan branch is the updated version
OSS
An Open Source Code Comment Spellchecker
OverEasy
A level editor for Billy Hatcher and the Giant Egg
panorama
Momentum Mod's game client panorama (UI) code.
SHAD
Scalable High-performance Algorithms and Data-structures
SVF-Project
4240 Project 3 / 6430 SVF Project infrastructure
symcc
SymCC: efficient compiler-based symbolic execution
ToyTraceSummarizer
A trace summarizer for toy traces exploiting the nature of OpenMP data mapping consistency bugs to improve analysis overhead
z3
The Z3 Theorem Prover