-
llvm-project Public
Forked from CTSRD-CHERI/llvm-projectFork of LLVM adding CHERI support
LLVM Other UpdatedJun 25, 2025 -
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 UpdatedJun 21, 2025 -
rust-perf-event Public
Forked from jimblandy/perf-eventperf-event: a Rust interface to Linux performance monitoring
Rust Apache License 2.0 UpdatedMay 22, 2025 -
openwrt Public
Forked from openwrt/openwrtThis repository is a mirror of https://git.openwrt.org/openwrt/openwrt.git It is for reference only and is not active for check-ins or for reporting issues. We will continue to accept Pull Requests…
-
-
QuickCheckVEngine Public
Forked from CTSRD-CHERI/QuickCheckVEngineA RISC-V TestRIG Verification Engine based on QuickCheck
Haskell BSD 2-Clause "Simplified" License UpdatedApr 4, 2025 -
-
cheriot-rtos Public
Forked from CHERIoT-Platform/cheriot-rtosThe RTOS components for the CHERIoT research platform
C++ MIT License UpdatedFeb 7, 2025 -
cheriot-demos Public
Forked from CHERIoT-Platform/cheriot-demosSpace for all of the CHERIoT demos that people have been building for various purposes
C MIT License UpdatedFeb 7, 2025 -
lowrisc-sonata-system Public
Forked from lowRISC/sonata-systemA full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI
SystemVerilog Apache License 2.0 UpdatedJan 23, 2025 -
microsoft-cheriot-ibex Public
Forked from microsoft/cheriot-ibexcheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.
SystemVerilog Apache License 2.0 UpdatedJan 21, 2025 -
cheriot-devcontainer Public
Forked from CHERIoT-Platform/devcontainerScripts for creating the CHERIoT dev container
Dockerfile MIT License UpdatedJan 8, 2025 -
xmake Public
Forked from xmake-io/xmake🔥 A cross-platform build utility based on Lua
Lua Apache License 2.0 UpdatedJan 2, 2025 -
CHERIoT-Platform.github.io Public
Forked from CHERIoT-Platform/CHERIoT-Platform.github.ioCHERIoT web site
CSS UpdatedDec 10, 2024 -
sail Public
Forked from rems-project/sailSail architecture definition language
Isabelle Other UpdatedNov 22, 2024 -
cheribsd Public
Forked from CTSRD-CHERI/cheribsdnwf's fork of cheribsd; this is *often* push-f'd over, so is unsuitable as an upstream!
-
-
cheriot-safe Public
Forked from microsoft/cheriot-safeRepo for CHERI development system
SystemVerilog Apache License 2.0 UpdatedOct 30, 2024 -
snmalloc Public
Forked from microsoft/snmallocMessage passing based allocator
-
cheribuild Public
Forked from CTSRD-CHERI/cheribuildA set of scripts to easily build CHERI related projects. nwf's branch will be occasionally rebased on master; you are advised to cherry-pick, not pull.
-
openwrt-packages Public
Forked from openwrt/packagesPackages Repository
-
fstools Public
Forked from openwrt/fstools[MIRROR] OpenWrt filesystem utilities
C UpdatedJun 2, 2024 -
-
openwrt-luci Public
Forked from openwrt/luciLuCI - OpenWrt Configuration Interface
-
-
-
-
-
-
httpdirfs Public
Forked from fangfufu/httpdirfsA filesystem which allows you to mount HTTP directory listings, with a permanent cache. Now with Airsonic / Subsonic support!
C Other UpdatedNov 1, 2022