Pinned Repositories
chatgpt-retrieval-plugin
coderrect-github-action
Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
coderrect-spack
A Spack repo for Coderrect tools
conflib-cpp
the internal configuraiton management library c++ version
covid-sim
This is the COVID-19 CovidSim microsimulation model developed by the MRC Centre for Global Infectious Disease Analysis hosted at Imperial College, London.
llvm12
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 http://reviews.llvm.org.
public_ci_test
Test CI integration with jenkins using a public repo
race-condition-best-practices
A guide to race condition security best practices
sec3-solana-txs
z3
The Z3 Theorem Prover
Coderrect Inc. d/b/a Sec3's Repositories
coderrect-inc/coderrect-github-action
Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
coderrect-inc/race-condition-best-practices
A guide to race condition security best practices
coderrect-inc/sec3-solana-txs
coderrect-inc/chatgpt-retrieval-plugin
coderrect-inc/CloverLeaf_OpenMP
A version of CloverLeaf using OpenMP pragmas
coderrect-inc/coderrect-jenkins-plugin
coderrect-inc/coderrect-spack
A Spack repo for Coderrect tools
coderrect-inc/conflib-cpp
the internal configuraiton management library c++ version
coderrect-inc/conflib-java
The java version of configuration management library
coderrect-inc/covid-sim
This is the COVID-19 CovidSim microsimulation model developed by the MRC Centre for Global Infectious Disease Analysis hosted at Imperial College, London.
coderrect-inc/llvm12
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 http://reviews.llvm.org.
coderrect-inc/memcached
memcached development tree
coderrect-inc/public_ci_test
Test CI integration with jenkins using a public repo
coderrect-inc/z3
The Z3 Theorem Prover
coderrect-inc/metaplex-program-library
Smart contracts maintained by the Metaplex team