Discover @david-a-wheeler Open Source projects

David A. Wheeler (@david-a-wheeler)

david-a-wheeler

Stars
654
Global Rank 45,616 (Top 2 %)
Followers 324
Following 1
Registered over 13 years ago
Most used languages

Python
38.5 %

Makefile 7.7 %

C
7.7 %

Common Lisp
7.7 %

Objective-C++ 7.7 %

Vim Script
7.7 %

HTML
7.7 %

Ruby
7.7 %

Ada
7.7 %

flawfinder

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

spdx-tutorial

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

railroader

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

mmverify.py

Metamath verifier in Python

vim-metamath

vim mode for editing metamath files

make-booster

Utility routines to simplify using GNU make and Python

make-audit

Easy-to-use tool for auditing Makefiles for errors

metamath-test

Test metamath verification implementations

david-a-wheeler.github.io

Personal website contents

cl-metamath

Metamath library/verifier in Common Lisp

linux

Linux kernel modifications

plot-stars

Plot nearby stars, e.g., for Project Hail Mary

metamath-ada

A metamath proof checker in Ada

demo-new

Demo of a new GitHub project

hello

Say "hello world" as a simple project example