Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / 0adb 1 repository
0adb/riscv-semantics Fork of mit-plv/riscv-semantics
A formal semantics of the RISC-V ISA in Haskell
Language: Haskell - Size: 609 KB - Last synced: 2 days ago - Pushed: 3 days ago - Stars: 0 - Forks: 0
0adb/bedrock2 Fork of mit-plv/bedrock2
A work-in-progress language and compiler for verified low-level programming
Language: Coq - Size: 8.07 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0
0adb/coqutil Fork of mit-plv/coqutil
Coq library for tactics, basic definitions, sets, maps
Language: Coq - Size: 650 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0