mit-pdos / mcqcLinks
A Gallina compiler with C++17 as an intermediate representation
☆43Updated 4 years ago
Alternatives and similar repositories for mcqc
Users that are interested in mcqc are comparing it to the libraries listed below
Sorting:
- Gallina to Bedrock2 compilation toolkit☆59Updated last week
- Coq library for verified low-level programming☆60Updated 8 years ago
- Hoare Type Theory☆77Updated 2 months ago
- ☆55Updated 4 months ago
- Cerberus C semantics☆66Updated this week
- Coq library for tactics, basic definitions, sets, maps☆49Updated last month
- Inline, type safe X86-64 assembly programming in Agda