GitHub repository: sireum/air
Primary language: Scala
Description: AIR: AADL Intermediate Representation (IR) in Slang, JSON, and MessagePack