-
fstools Public
Forked from openwrt/fstools[MIRROR] OpenWrt filesystem utilities
C UpdatedJun 2, 2026 -
CHERIoT-Platform.github.io Public
Forked from CHERIoT-Platform/CHERIoT-Platform.github.ioCHERIoT web site
CSS UpdatedMay 26, 2026 -
-
cheriot-rust Public
Forked from CHERIoT-Platform/cheri-rustRust Apache License 2.0 UpdatedMar 5, 2026 -
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 UpdatedJan 13, 2026 -
cheriot-rtos Public
Forked from CHERIoT-Platform/cheriot-rtosThe RTOS components for the CHERIoT research platform
C++ MIT License UpdatedJan 12, 2026 -
llvm-project Public
Forked from CTSRD-CHERI/llvm-projectFork of LLVM adding CHERI support
LLVM Other UpdatedJan 7, 2026 -
tree-sitter Public
Forked from tree-sitter/tree-sitterAn incremental parsing system for programming tools
Rust MIT License UpdatedJan 6, 2026 -
asterisk Public
Forked from asterisk/asteriskThe official Asterisk Project repository.
C Other UpdatedDec 30, 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.
TeX Creative Commons Attribution 4.0 International UpdatedDec 2, 2025 -
libxcrypt Public
Forked from besser82/libxcryptExtended crypt library for descrypt, md5crypt, bcrypt, and others
C GNU Lesser General Public License v2.1 UpdatedNov 22, 2025 -
cheriot-safe Public
Forked from microsoft/cheriot-safeRepo for CHERI development system
SystemVerilog Apache License 2.0 UpdatedOct 9, 2025 -
openwrt-packages Public
Forked from openwrt/packagesPackages Repository
-
-
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 -
-
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 -
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!
-
-
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-luci Public
Forked from openwrt/luciLuCI - OpenWrt Configuration Interface
-
{{ message }}