Computer Architecture
3 projects
Showing 3 of 3 projects
C++ links
A categorized collection of C++ resources covering analysis, debugging, performance, standardization, and more.
#developer-tools#assembly#performance-optimization
Stars5.2k
Forks523
Last commit6 days ago
F# RISC-V Instruction Set formal specificationF#
A formal and executable RISC-V ISA specification written in F# with a purely functional style, designed for clarity and reference.
#functional-programming#library#simulator
Stars290
Forks14
Last commit
RISC-V Specification in CoqRocq Prover
A formal specification of the RISC-V instruction set architectures (RV32I, RV64I) and extensions (A, M) written in the Coq proof assistant.
#semantics#coq#theorem-proving
Stars118
Forks19
Last commit4 months ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.