sorear's repositories
metamath-turing-machines
metamath proof enumerators and other things
smetamath-rs
sorear's Metamath system engine - version 3 Rust
riscv-specs
UNOFFICIAL bug tracker for the RISC-V specifications
fedora-riscv-useremu
Build scripts for RISC-V architecture emulation docker container
riscv-qemu
QEMU with RISC-V Emulation Support
toypqsnark
independent implementation of a SNARK from Minicrypt assumptions using scipr-lab papers
fedora-riscv-autobuild
Fedora / RISC-V autobuilder
libffi-riscv
A portable foreign-function interface library. (RISC-V port, rebased)
meta-riscv
OpenEmbedded/Yocto layer for RISC-V Architecture
musl-wiki
A community-maintained wiki documenting the musl libc.
regression
Regression testing infrastructure for CakeML
riscv-cfi
This repo holds the work area and revisions of the RISC-V CFI (Shadow Stack and Landing Pads) specifications. CFI defines the privileged and unprivileged ISA extensions that can be used by privileged and unprivileged programs to protect the integrity of their control-flow.
riscv-cheri
This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
riscv-debug-spec
Working Draft of the RISC-V Debug Specification Standard
riscv-gnu-toolchain
GNU toolchain for RISC-V, including GCC 5.3.0
riscv-isa-manual
RISC-V Instruction Set Manual
riscv-isa-sim
Spike, a RISC-V ISA Simulator
riscv-musl
musl libc for RISC-V
riscv-qemu-arsv
WIP qemu RISC-V target support
seL4_tools
Basic tools for building seL4 projects
sel4runtime
A minimal runtime for seL4 applications.