David A. Wheeler

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

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

vim-metamath. vim mode for editing metamath files

make-booster. Utility routines to simplify using GNU make and Python

awesome-static-analysis. Static analysis tools for all programming languages

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

linux-safename-1. Linux kernel modifications

cl-metamath. Metamath library/verifier in Common Lisp

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

markdown-licenses. A collection of open source licenses in Markdown format. Contributions are always welcome!

oss-vulnerability-guide. A guide on coordinated vulnerability disclosure for open source projects. Includes templates for security policies (security.md) and disclosure notifications.

wg-digital-identity-attestation. Our objective is to enable open source maintainers, contributors and end-users to understand and make decisions on the provenance of the code they maintain, produce and use.

security-reviews. A community collection of security reviews of open source software components.

holophrasm. Holophrasm: a neural Automated Theorem Prover for higher-order logic

Creative-Commons-Markdown. Markdown-formatted Creative Commons licenses

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

wivet. Web Input Vector Extractor Teaser

choosealicense.com. A site to provide non-judgmental guidance on choosing a license for your open source project

wg-security-tooling. OpenSSF Security Tooling Working Group