Stars
Latex Package that allows creating a pdfpc compatible notes file directly from your latex presentation \notes.
OS-Lib is a simple, flexible, high-performance Scala interface to common OS filesystem and subprocess APIs
A simple key server implementation for the VerifyThis Long-term Challenge
A game about twisting your body, so that your shadow looks like letters. Bring your friends!
A symbolic Java virtual machine for program analysis, verification and test generation
Efficient Sampling of SAT Solutions for Testing
q - Run SQL directly on delimited files and multi-file sqlite databases