GitHub repository: yanickpauloamaro/StainlessFit
Primary language: Scala
Description: Stainless directly built on System FR, with standalone front-end