The missing, complete example of Domain-Driven Design enterprise applica...
Python code snippets from Discrete Mathematics for Computer Science spec...
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Design by Contract framework for PHP
Validity and validity-based testing
contrib/amcheck from Postgres v11 backported to earlier Postgres versions
Generates loop invariants for program verification
All of my math stuff from grad school.