GitHub repository: yuriylesyuk/scala-contracts
Primary language: Scala
Description: A port of http://web.archive.org/web/20130326233424/http://contracts.scheming.org/- an implementation of  Composing contracts: an adventure in financial engineering, by Simon Peyton Jones