GitHub repository: nagyist/contract-analysis
Primary language: Scala
Description: Analysis of the Coinffeine exchange algorithm