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