Type-sensitive points-to analysis prototype in Datalog for an llvm-like language
MIT License
Hypothesis strategies for generating Python programs, something like CSmith
Common Lightweight Utilities, or Command-Line Utilities (your pick)
A Scheme to CPS to C compiler in Python