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