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 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

Lists (3)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.

Stars

Showing results

o2lab / go2

Open source static race detector for Go programs

Go 3 1 Updated Jul 11, 2022

super-linter / super-linter

Combination of multiple linters to run as a GitHub Action or standalone

Shell 9,425 961 Updated Oct 4, 2024

BradSwain / OpenRace

Forked from jtao/OpenRace

Open source implementation of the Coderrect Scanner core race detection functionality.

C++ 2 2 Updated Nov 9, 2021

RWTH-HPC / DRACC

Benchmarks for data race detection on accelerators

C 6 1 Updated Jul 27, 2023

lechenyu / llvm-project

Forked from llvm/llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…

1 Updated Sep 16, 2024

pmodels / mpich

Official MPICH Repository

C 541 280 Updated Oct 4, 2024

PRUNERS / archer

Archer, a data race detection tool for large OpenMP applications

C 62 13 Updated Aug 19, 2020

SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code

C++ 1,400 438 Updated Oct 4, 2024