David A. Wheeler's Projects
A curated list of resources for learning about application security
Static analysis tools for all programming languages
Sample bad code to test flawfinder and related tools
Converter for bash shell scripts to windows batch files.
The personal website of Ben Balter. Built using Jekyll and GitHub Pages. See humans.txt for more infos.
The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
A site to provide non-judgmental guidance on choosing a license for your open source project
Metamath library/verifier in Common Lisp
Container Signing
Markdown-formatted Creative Commons licenses
Personal website contents
Frustrated that OS X doesn't have a simple software keyboard debouncer. Here's my hack.
Demo of a new GitHub project
The open-source repo for docs.github.com
Inform 7 extensions -- some may be ready for public use, others may be barely working experiments. Enjoy!
Fastly API Gem
header-only library to validate utf-8 strings at high speeds (using SIMD instructions)
a static analysis tool for finding vulnerabilities in C/C++ source code
UCalgary version of forallx, an introduction to formal logic
OpenSSF Governance and Legal Docs
Sigstore OIDC PKI
Comparative language fuzz testing: Programming languages vs. fat fingers. In PLATEAU 2012: 4th Annual International Workshop on Evaluation and Usability of Programming Languages and Tools--Systems, Programming, Languages and Applications: Software for Humanity (SPLASH 2012)
Writings about open source adoption in governments
Say "hello world" as a simple project example
Holophrasm: a neural Automated Theorem Prover for higher-order logic
Javascript Interactive Fiction Framework that's Open Source Software - INACTIVE
JupyterLab computational environment.
Linux kernel modifications
Easy-to-use tool for auditing Makefiles for errors