Skip to content
View david-a-wheeler's full-sized avatar
341 followers · 1 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx4Achievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Sharkx4Achievement: QuickdrawAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@Conservatory @metamath @slsa-framework
Block or Report

Block or report david-a-wheeler

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. flawfinder flawfinder Public

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

    Python 448 79

  2. spdx-tutorial spdx-tutorial Public

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

    119 14

  3. railroader railroader Public

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

    Ruby 46 1

  4. mmverify.py mmverify.py Public

    Metamath verifier in Python

    Python 34 10

  5. jiffo jiffo Public

    Forked from felixp7/jaiffa

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

    JavaScript 11 2

  6. vim-metamath vim-metamath Public

    vim mode for editing metamath files

    Vim Script 10