arichardson
Follow
-
riscv-cheri Public
Forked from riscv/riscv-cheriThis repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory protection and scalable compartmentalization.
Python Creative Commons Attribution 4.0 International UpdatedFeb 26, 2025 -
llvm-project Public
Forked from CTSRD-CHERI/llvm-projectFork of LLVM adding CHERI support
C++ UpdatedFeb 26, 2025 -
docs-resources Public
Forked from riscv/docs-resourcesCreative Commons Attribution 4.0 International UpdatedFeb 18, 2025 -
-
-
The official repository for the gem5 computer-system architecture simulator.
-
cheribsd Public
Forked from CTSRD-CHERI/cheribsdFreeBSD adapted for the CHERI CPU. WARNING: some programs contain deliberate vulnerabilities
-
-
picolibc Public
Forked from picolibc/picolibcpicolibc - a C library designed for embedded 32- and 64- bit systems.
-
-
QuickCheckVEngine Public
Forked from CTSRD-CHERI/QuickCheckVEngineA RISC-V TestRIG Verification Engine based on QuickCheck
Haskell UpdatedJan 9, 2025 -
sail-cheri-riscv-std Public
Forked from CHERI-Alliance/sail-cheri-riscvSail model for the CHERI addition to RISC-V
-
git-rebase-first-parent Public
Forked from CTSRD-CHERI/git-rebase-first-parentRebase merge commits by their first parent, e.g. for vendor imports or "mergify" workflows
Shell UpdatedJan 3, 2025 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedDec 19, 2024 -
epoll-shim Public
Forked from jiixyj/epoll-shimsmall epoll implementation using kqueue; includes all features needed for libinput/libevdev
C MIT License UpdatedDec 7, 2024 -
sail-morello Public
Forked from CTSRD-CHERI/sail-morelloSail version of the Morello ISA specification
OCaml Other UpdatedDec 2, 2024 -
riscv-isa-manual Public
Forked from riscv/riscv-isa-manualRISC-V Instruction Set Manual
TeX Creative Commons Attribution 4.0 International UpdatedNov 13, 2024 -
sail Public
Forked from rems-project/sailSail architecture definition language
-
riscv-zilsd Public
Forked from riscv/riscv-zilsdZilsd (Load/Store Pair for RV32) Fast-Track Extension
Makefile Creative Commons Attribution 4.0 International UpdatedSep 20, 2024 -
spr Public
Forked from spacedentist/sprSubmit pull requests for individual, amendable, rebaseable commits to GitHub
Rust MIT License UpdatedAug 28, 2024 -
cheri-tg Public
Forked from riscv-admin/cheri-tgThe CHERI TG aims to standardize a CHERI extension to RISC-V for both RV32 and RV64.
Dockerfile Creative Commons Attribution 4.0 International UpdatedJul 11, 2024 -
compiler-explorer Public
Forked from compiler-explorer/compiler-explorerRun compilers interactively from your web browser and interact with the assembly
-
upstream-llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…
-
nvi2 Public
Forked from lichray/nvi2A multibyte fork of the nvi editor for BSD
C Other UpdatedMay 2, 2024 -
libuv Public
Forked from libuv/libuvCross-platform asynchronous I/O
C MIT License UpdatedMar 4, 2024 -
asciidoctor-intellij-plugin Public
Forked from asciidoctor/asciidoctor-intellij-pluginAsciiDoc plugin for products on the IntelliJ platform (IDEA, RubyMine, etc)
Java Apache License 2.0 UpdatedFeb 17, 2024 -
riscv-docs-spec-template Public template
Forked from riscv/docs-spec-templateMakefile Creative Commons Attribution 4.0 International UpdatedFeb 6, 2024 -
qtbase Public
Forked from CTSRD-CHERI/qtbaseQtBase with CHERI support
-
atf Public
Forked from freebsd/atfLibraries to write tests in C, C++ and shell
C Other UpdatedJan 16, 2024 -
devel-dir-switcher Public
devel-dir-switcher: Quickly switch between multiple source and build directories
Python GNU General Public License v3.0 UpdatedJan 5, 2024