GitHub repository: scalacenter/platform
Primary language: Scala
Description: The Scala Platform process and the tools around it.