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