Popular repositories Loading

1. flawfinder flawfinder Public

   a static analysis tool for finding vulnerabilities in C/C++ source code

   Python 520 83

2. spdx-tutorial spdx-tutorial Public

   A brief tutorial on how to use Software Package Data Exchange (SPDX)

   133 14

3. railroader railroader Public

   A static analysis security vulnerability scanner for Ruby on Rails applications (OSS fork of Brakeman)

   Ruby 47 1

4. mmverify.py mmverify.py Public

   Metamath verifier in Python

   Python 38 11

5. jiffo jiffo Public

   Forked from felixp7/jaiffa

   Javascript Interactive Fiction Framework that's Open Source Software - INACTIVE

   JavaScript 12 3

6. vim-metamath vim-metamath Public

   vim mode for editing metamath files

   Vim Script 10 1