GitHub repository: CakeML/cakeml
Primary language: Standard ML
Description: CakeML: A Verified Implementation of ML