Stars
It's a New Kind of Wrapper for Exposing LLVM (Safely)
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Meaningful control of data in distributed systems.
Locus site for Public Review of Several RISC-V ISA Formal Specs
Formal specification of RISC-V Instruction Set
RISC-V Instruction Set Manual
The core OCaml system: compilers, runtime system, base libraries
The Herd toolsuite to deal with .cat memory models (version 7.xx)