PrototypeCommon
seL4/rust-sel4
Rust support for seL4 userspace
- Owner
- seL4 (organization)
- Stars
- Stars: 221
- Forks
- Forks: 43
- Language
- Rust
- License
- None
- Created
- 2023
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by seL4
All 5 repos by seL4- seL4/seL4Stars: 5,848CStable
- seL4/l4vStars: 657IsabelleAlpha
- seL4/microkitStars: 213RustPrototype
- seL4/isabelleStars: 143IsabellePrototype
Nearby in Rust
All Rust repos- Duecki1/CalibRawStars: 221RustPrototype
- peintune/runjamStars: 221RustPrototype
- bamboostrip/Handwriting-sim-rsStars: 221RustPrototype
- klingtnet/roscStars: 221RustPrototype
- discord/loquiStars: 221RustPrototype
- openrr/kStars: 221RustPrototype