Coderrect Inc. d/b/a Sec3
- 6 followers
- United States of America
- https://Sec3.dev
- @sec3dev
- contact@sec3.dev
Popular repositories Loading
-
coderrect-github-action
coderrect-github-action PublicCoderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
-
race-condition-best-practices
race-condition-best-practices PublicA guide to race condition security best practices
-
-
-
-
Repositories
- sec3-solana-txs Public
coderrect-inc/sec3-solana-txs’s past year of commit activity - metaplex-program-library Public Forked from metaplex-foundation/metaplex-program-library
Smart contracts maintained by the Metaplex team
coderrect-inc/metaplex-program-library’s past year of commit activity - llvm12 Public 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 http://reviews.llvm.org.
coderrect-inc/llvm12’s past year of commit activity - coderrect-github-action Public
Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
coderrect-inc/coderrect-github-action’s past year of commit activity - CloverLeaf_OpenMP Public Forked from UK-MAC/CloverLeaf_OpenMP
A version of CloverLeaf using OpenMP pragmas
coderrect-inc/CloverLeaf_OpenMP’s past year of commit activity - covid-sim Public Forked from mrc-ide/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/covid-sim’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…