GitHub repository: vorpal-research/TIP
Primary language: Scala
Description: Static program analysis for TIP