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