Projects

Updated 10 months ago

Software for Reverse Engineering (SRE) suite of tools Developed by NSA Research Directorate in support of the Cybersecurity processes.

cybersecurity diassemble nsa reverse-engineering software-analysis structure-analysis

Updated 10 months ago

The VerCors verification toolset for verifying parallel and concurrent software

c concurrency java opencl openmp parallelism separation-logic software-analysis vercors-toolset verification viper

Updated 10 months ago

Check whether a package is ready for submission to rOpenSci's peer-review system

compliance-automation r software-analysis software-checking

Updated 10 months ago

Historical statistics of every R package ever

code-analysis code-statistics r software-analysis

ecosyste.ms