redox-os / redox
Mirror of https://gitlab.redox-os.org/redox-os/redox
redox-os / redox
tracel-ai / burn
Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
astrid-runtime / astrid
Astrid is a portable, capability-secure operating system for composable software.
magnitudedev / magnitude
Open source inference engine that tunes its kernels on your hardware to find the fastest way to run each model. 2x faster than Ollama. Works on Apple Silicon, NVIDIA, AMD, or just a CPU.
tock / tock
A secure embedded operating system for microcontrollers
Rust-GPU / rust-cuda
Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.
asterinas / asterinas
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
arcboxlabs / arcbox
Run AI agents on real and isolated machines — own kernel, filesystem, and network — with <100ms boot. Local first, OCI compatible, pure Rust.
NVIDIA / cuda-rust
NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.
oxidecomputer / hubris
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
maestro-os / maestro
Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases
microsoft / litebox
A security-focused library OS supporting kernel- and user-mode execution
orhun / kmon
Linux Kernel Manager and Activity Monitor 🐧💻
pythops / oryx
🕵️♂️ TUI for sniffing network traffic using eBPF on Linux
hermit-os / hermit-rs
Hermit for Rust.
hexagonal-sun / moss-kernel
Rust Linux-compatible kernel
ricosjp / truck
Truck is a Rust CAD Kernel.
hermit-os / kernel
A Rust-based, lightweight unikernel.
vivoblueos / kernel
—
sashiko-dev / sashiko
Agentic review of Linux Kernel code changes
chelsea0x3b / cudarc
Safe rust wrapper around CUDA toolkit
exein-io / pulsar
A modular and blazing fast runtime security tool for the IoT, powered by eBPF.
betrusted-io / xous-core
The Xous microkernel
redox-os / kernel
Mirror of https://gitlab.redox-os.org/redox-os/kernel
obhq / obliteration
Experimental free and open-source PlayStation 4 kernel
thepowersgang / rust_os
An OS kernel written in rust. Non POSIX
Valthrun / valthrun-cs2
Valthrun an open source external CS2 read only kernel gameplay enhancer.
h5i-dev / h5i
Unified Rust framework for building, verifying, and testing web apps. Kernel-based architecture for Lean 4 verification and GPU acceleration. Built-in red-teaming tools for automated vulnerability detection.
QymIs-Tech / QymCAD
Parametric 3D CAD with a real B-rep kernel (OpenCASCADE)
pegainfer-project / pegainfer
Pure Rust + CUDA LLM inference engine — no PyTorch, OpenAI-compatible, serves Qwen3 to Kimi-K2
JonasKruckenberg / k23
Experimental WASM Microkernel Operating System
samvallad33 / vestige
Think before doing, prove before saving. Vestige is a local, deterministic safety kernel for AI agents. Every memory write and agent action is recorded in Strata, an append-only log, so you can see exactly what your agent did and why.
meow-rs / meow-rs
A high-performance Rust implementation of the mihomo (Clash Meta) proxy kernel.
multikernel / sandlock
The lightest AI sandbox. A process-based sandbox for Linux, no container, no VM, no privilege, no prompt injection
rex-rs / rex
Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.
OpenGeometry-io / OpenGeometry
powerful cad kernel for web
Apeireth / Apeireth
Apeireth — a digital companion that grows with you. Pure Safe Rust AGI cognitive microkernel: memory that fades like a person's, human approval before every side effect, honest boundaries. 31-member workspace (30 crates + 1 bench).
CYBERVERSE-Research / skyline-speeder
Sender-side TCP acceleration: eBPF struct_ops congestion control with a Rust control plane. For links with non-congestive random loss. Kernel 6.12 LTS+.
luxine / CalcKernel
CalcKernel compiler, runtime, tests, examples, documentation, and public releases
tangency-labs / solidcore
A Rust port of NVIDIA's SMLib B-rep kernel (CAD subset): safe, deterministic, wasm-compatible
DeathShotXD / 0xM0nCrush
Kernel-mode process terminator using a signed BYOVD driver. Works on all Windows 10/11. No offsets, no PDB. Rust.
wasif-exe / wire
Wire v9: from-scratch ultra-low-latency HFT stack in Rust and C. 24 crates: TCP/IP, AF_XDP, VFIO PCIe DMA, LMAX Disruptor, AVX2/AVX-512 SIMD, flat-array matching engine (11 cyc), HugePage slab (1.5 ns), lock-free MPMC, CME MDP 3.0 SBE, eBPF XDP risk. Zero heap allocs on the hot path. 46/46 tests pass.
vahmoh25 / Veda
The Agentic-Native Operating System
Dr-TSNG / altdb
A KernelSU module that provides alternative adb server over local network
rvdende / cadrs
A parametric, feature-based CAD app in Rust, with a Bevy UI and an OpenCASCADE kernel
VeryBaaad / ZNNext
A from-scratch, standalone implementation of the Zygisk Next module
matthart1983 / kernwatch
Linux kernel observability in your terminal. Built with Rust and Ratatui.
antonellof / frink
Pure-Rust GGUF inference engine with quantized CPU, Metal & CUDA kernels, MoE support, OpenAI-compatible server. Benchmarked head-to-head against llama.cpp.
midagedev / bloomery
Hybrid GPU + CPU inference for mixture-of-experts models, written in Rust down to the CUDA kernels. A drop-in llama-server.
tsirysndr / bsdkrun
Instant MicroVMs/Unikernels for macOS and Linux
lipeilin2006 / kernel-script
—
DeathShotXD / 0xCr0ssCrush
Windows BYOVD research on DCRCVDrv.sys and Alinubx.sys, reverse engineering their kernel primitives, IOCTL surfaces, and detection opportunities.