GitHub repository: samuelchassot/stainless
Primary language: HTML
Description: Verification framework and tool for higher-order Scala programs