GitHub repository: malyzajko/ceres
Primary language: Scala
Description: Useful stuff for certified numerical results in Scala