GitHub repository: stanford-ppl/stepir
Description: A Protobuf-IR for STeP