Berkeley Churchill's repositories
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
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
rust-rushhour
demo of using rust to solve the "rushhour" logic puzzle
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.
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