GitHub repository: kaist-plrg/ires
Primary language: Scala
Description: Intermediate Representations for ECMAScript Specifications