-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedDec 21, 2025 -
cheriot-rtos Public
Forked from CHERIoT-Platform/cheriot-rtosThe RTOS components for the CHERIoT research platform
C++ MIT License UpdatedDec 20, 2025 -
llvm-project Public
Forked from CHERIoT-Platform/llvm-projectFork of LLVM adding CHERIoT, based on the CHERI LLVM fork
LLVM Other UpdatedDec 20, 2025 -
cheri-rust Public
Forked from CHERIoT-Platform/cheri-rustRust Apache License 2.0 UpdatedDec 17, 2025 -
rust-cheriot-basic Public
A simple example to get started with rust on CHERIoT.
-
libtest-barebones Public
A very minimal implementation of Rust's `libtest` for bare-bones systems.
Rust UpdatedSep 2, 2025 -
-
cargo Public
Forked from rust-lang/cargoThe Rust package manager
Rust Apache License 2.0 UpdatedJul 22, 2025 -
compiler-builtins Public
Forked from rust-lang/compiler-builtinsRust implementations of compiler-rt and libm
Rust Other UpdatedJul 8, 2025 -
wasm-c-api Public
Forked from WebAssembly/wasm-c-apiWasm C API prototype
C++ Apache License 2.0 UpdatedMar 14, 2025 -
-
-
alef Public archive
A modern implementation of the Alef programming language.
Lex Other UpdatedMay 22, 2023 -
-
zshelf Public
A simple zsh plugin used to bookmark files
{{ message }}