GitHub repository: kyouko-taiga/hylo-xst
Primary language: Swift
Description: Demo compiler for existentialization