Automatic verification of LLVM optimizations

New TLS Padding Oracles

the champagne of beta embedded databases

Flash cards mostly for Math typeset in LaTeX

MSP Social modified version of Mastodon

Riscure Hack Me embedded hardware CTF 2017-2018.

Sample Android app with gradle buildSrc

Lightweight program that pollinates STHs between Certificate Transparency logs and auditors

Plasma is an interactive disassembler for x86/ARM/MIPS. It can generates indented pseudo-code with colored syntax.

source for Open States scrapers

The build process for EveryCRSReport.com.

Minecraft.net stuff from the Swiss Knights, both the junior and senior ;)

A general purpose PDF text-layer redaction tool for Python 2/3.

Improving API Monitor's API collection

Report intake, escrow, matching and secure delivery code for Callisto, an online reporting system for sexual assault.

A visual implementation of individual U.S. taxes

SCADA StrangeLove Default/Hardcoded Passwords List

A Git pre-commit hook that checks formatting of Go code

Dispatch TLS Connections based on SNI

Team 1816's common libraries used between seasons.

A PDF comparison utility in Python.

Zimbra Mail Notifier (Firefox Addon, XUL)

Python (3.x & 2.x) API for NIST Standard Reference Database 23 (a.k.a. Refprop) on Linux and Windows

Android Stumbler for Mozilla

A service for your website that makes it surprisingly easy to collaborate in real-time.

PDF Reader in JavaScript

Windows front end for DNSCrypt Proxy

Mittens Romney browser plugin