GitHub repository: xanadu-lang/xanadu
Primary language: ATS
Description: This repository is supposed to hold a released version of Xanadu