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