Star mit-plv / bedrock2 A work-in-progress language and compiler for verified low-level programming Coq 279 55 Built by 0 stars today