david-a-wheeler/demo-new

Stars
1
Language
License
MIT License
Created almost 4 years ago
Updated almost 4 years ago

david-a-wheeler/demo-new

david-a-wheeler

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Demo of a new GitHub project

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

hello

Say "hello world" as a simple project example