Skip to content

@coderrect-inc Coderrect Inc. d/b/a Sec3

Change the repository type filter

All

    Repositories list

    15 repositories

    • sec3-solana-txs

      Public
      2•2•0•0•Updated May 30, 2024May 30, 2024

    • chatgpt-retrieval-plugin

      Public
      Python
      •
      MIT License
      •3.7k•0•0•0•Updated Mar 25, 2023Mar 25, 2023

    • metaplex-program-library

      Public
      Smart contracts maintained by the Metaplex team
      Rust
      •
      Other
      •529•0•0•0•Updated Mar 1, 2023Mar 1, 2023

    • llvm12

      Public
      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.
      15k•0•0•0•Updated May 6, 2022May 6, 2022

    • race-condition-best-practices

      Public
      A guide to race condition security best practices
      MIT License
      •0•1•0•0•Updated Aug 14, 2021Aug 14, 2021

    • coderrect-github-action

      Public
      Coderrect is a static analyzer for concurrent C/C++/Fortran programs to detect data-races/race-conditions/anti-patterns.
      ccppstatic-analysisopenmpmultithreadingracerace-conditionsgithub-actionsdata-racedata-race-detection
      Apache License 2.0
      •3•9•3•0•Updated Jan 28, 2021Jan 28, 2021

    • memcached

      Public
      memcached development tree
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •3.3k•0•0•0•Updated Jan 28, 2021Jan 28, 2021

    • CloverLeaf_OpenMP

      Public
      A version of CloverLeaf using OpenMP pragmas
      Fortran
      •8•0•0•0•Updated Dec 10, 2020Dec 10, 2020

    • covid-sim

      Public
      This is the COVID-19 CovidSim microsimulation model developed by the MRC Centre for Global Infectious Disease Analysis hosted at Imperial College, London.
      C++
      •
      GNU General Public License v3.0
      •253•0•0•0•Updated Dec 10, 2020Dec 10, 2020

    • conflib-cpp

      Public
      the internal configuraiton management library c++ version
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 13, 2020Oct 13, 2020

    • z3

      Public
      The Z3 Theorem Prover
      C++
      •
      Other
      •1.5k•0•0•0•Updated Oct 7, 2020Oct 7, 2020

    • coderrect-spack

      Public
      A Spack repo for Coderrect tools
      Python
      •0•0•0•0•Updated Oct 3, 2020Oct 3, 2020

    • coderrect-jenkins-plugin

      Public
      Java
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 14, 2020Sep 14, 2020

    • public_ci_test

      Public
      Test CI integration with jenkins using a public repo
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 8, 2020Sep 8, 2020

    • conflib-java

      Public
      The java version of configuration management library
      Java
      •
      Apache License 2.0
      •0•0•0•0•Updated Dec 11, 2019Dec 11, 2019