Mirror of https://gitlab.redox-os.org/redox-os/redox
- redox
- rust
- microkernel
- operating-system
Repository Index
47,133 repositories indexed
1–10 of 10 · Most stars
Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
- autodiff
- deep-learning
- machine-learning
- rust
:books: Learn to write an embedded OS in Rust :crab:
- rust
- bare-metal
- raspberry-pi-3
- rpi3
Astrid is a portable, capability-secure operating system for composable software.
🕵️♂️ TUI for sniffing network traffic using eBPF on Linux
Parametric 3D CAD with a real B-rep kernel (OpenCASCADE)
- 3d-modeling
- 3d-printing
- brep
- cad
A Rust port of NVIDIA's SMLib B-rep kernel (CAD subset): safe, deterministic, wasm-compatible
eBPF Security Monitoring and Sandboxing Agent Based on Aya
eBPF system monitor that runs inside the kernel. Sub-millisecond samples, zero allocations, faster than top.
An exokernel operating system written in Rust