Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

auxoncorp/ferros

A Rust-based userland which also adds compile-time assurances to seL4 development.

Owner: auxoncorp (organization)
Stars: Stars: 121
Forks: Forks: 10
Language: Rust
License: Apache-2.0
Created: 2019
Topics: rustsel4userland
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in Rust

michaelshimeles/bible-rsStars: 121RustPrototype
MG1937/rust_ASCStars: 121RustPrototype
LinkSy-mg/linksy-desktopStars: 121RustPrototype
mneumann/rust-msgpackStars: 121RustPrototype
georust/geohashStars: 121RustPrototype
loyd/rscamStars: 121RustPrototype