bchurchill

pldi19-equivalence-checker

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

xmonad-pulsevolume

Scripts for setting and visualizing pulseaudio volume with XMonad+xmobar

badi-cal

A javascript library for Badi calendar conversions.

bahai-quotes

A selection of quotes to appear in an application.

rack-timesec

Rack middleware to prevent timing attacks

EFCacheContains

A library to help cache query plans using the 'contains' method for Entity Framework

cuecaller

Runs command line programs or sends commands timed to music (or anything really!). Interfaces nicely with Audacity. Good for calling cues to music in live performance.

gpt-translation-tools

rust-rushhour

demo of using rust to solve the "rushhour" logic puzzle

tryzxcvbn

Just like lowe/tryzxcvbn, but with the opportunity to provide a site-specific dictionary of words.

azure-docs

Open source documentation of Microsoft Azure

bcrypt

Modern(-ish) password hashing for your software and your servers

Certify

Active Directory certificate abuse.

convertdate

Utils for converting between date formats and calculating holidays

covidtrends

Trajectories for global spread of COVID-19 https://bchurchill.github.io/covidtrends/

electronegativity

Electronegativity is a tool to identify misconfigurations and security anti-patterns in Electron applications.

mbox

A lightweight sandbox tool for non-root users

pyt

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

SecurityShepherd

Web and mobile application security training platform

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files