GitHub repository: malthelange/CLVM
Primary language: Coq
Description: CL interpreter written in ConCert