d
david-a-wheeler
My work title is "Director of Open Source Supply Chain Security" at the Linux Foundation. Much of this isn't work though.
87 repositories
397 followers
Repositories
Select a repository to view its commits, contributors, and more.public
flawfinder
a static analysis tool for finding vulnerabilities in C/C++ source code
Python
505
83
37
Updated 3 days ago
public
spdx-tutorial
A brief tutorial on how to use Software Package Data Exchange (SPDX)
128
14
5
Updated a month ago
public
railroader
A static analysis security vulnerability scanner for Ruby on Rails applications (OSS fork of Brakeman)
Ruby
47
1
32
Updated 8 months ago
public
mmverify.py
Metamath verifier in Python
Python
36
10
2
Updated 11 days ago
public
vim-metamath
vim mode for editing metamath files
Vim script
10
1
1
Updated a year ago
public
make-booster
Utility routines to simplify using GNU make and Python
Makefile
8
0
0
Updated 5 months ago
public
make-audit
Easy-to-use tool for auditing Makefiles for errors
Python
4
0
0
Updated a year ago
public
metamath-test
Test metamath verification implementations
Objective-C++
3
4
1
Updated 10 months ago
public
cl-metamath
Metamath library/verifier in Common Lisp
Common Lisp
3
0
0
Updated 6 years ago
public
linux
Linux kernel modifications
C
2
0
0
Updated 6 years ago
public
david-a-wheeler.github.io
Personal website contents
HTML
2
1
2
Updated 2 days ago
public
metamath-ada
A metamath proof checker in Ada
Ada
1
1
0
Updated 2 years ago