Mario Frank's repositories
beep
beep is a command line tool for linux that beeps the PC speaker
Language:CGPL-2.0000
ceps
Coq Enhancement Proposals
000
certicoq
A Verified Compiler for Gallina, Written in Gallina
Language:CoqMIT000
CompCert
The CompCert formally-verified C compiler
Language:CoqNOASSERTION000
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Language:OCamlLGPL-2.1000
VeriFFI
VeriFFI: Verified Foreign Function Interface for connecting Coq programs to C programs at the operational and specification/verification levels; part of CertiCoq project
Language:Coq000