cve-search - a tool to perform local searches for known vulnerabilities

Charm: A Framework for Rapidly Prototyping Cryptosystems

Archey is a system information tool written in Python.

Distributed LMS for automating Computing Science Courses From NYU

Org agenda in the console

Open-source textbook about CHERI capabilities, for a developer audience

Code for parsing out augmented packet header diagrams from IETF documents

Animated code & data structures with LaTeX/beamer

pycryptol: Use Cryptol with Python

New version of Oxford Talks