Xsmith is a generator of highly effective fuzz testers.
A sandbox focused on the process of creating and running web assembly for the purpose of writing a web assembly fuzzer
Racket package for defining a variable with version info containing a git hash!
Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)
IDL (interface definition language) compiler for LCDs
Fuzzing campaign harness
A library for parametric randomness in Racket applications.