GitHub repository: Kraks/sai
Primary language: Scala
Description: Staged Abstract Interpreters