# seL4/rust-sel4

<https://repo.masters-masters.com/en/repos/seL4/rust-sel4>

[Home](https://repo.masters-masters.com/en) › [seL4](https://repo.masters-masters.com/en/owners/seL4) › [rust-sel4](https://repo.masters-masters.com/en/repos/seL4/rust-sel4)

seL4/rust-sel4 has 222 stars on GitHub. Its RepoMasters card: Prototype tier. Rust support for seL4 userspace Language: Rust.

| Field | Value |
| --- | --- |
| Owner | [seL4](https://repo.masters-masters.com/en/owners/seL4) |
| Stars | 222 |
| Forks | 43 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | None |
| Created | 2023 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [seL4/rust-sel4](https://github.com/seL4/rust-sel4) |

## Repository

Rust support for seL4 userspace

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by seL4

- [seL4/seL4 · ★ 5,852 · C · Stable](https://repo.masters-masters.com/en/repos/seL4/seL4)
- [seL4/l4v · ★ 659 · Isabelle · Alpha](https://repo.masters-masters.com/en/repos/seL4/l4v)
- [seL4/microkit · ★ 213 · Rust · Prototype](https://repo.masters-masters.com/en/repos/seL4/microkit)
- [seL4/isabelle · ★ 143 · Isabelle · Prototype](https://repo.masters-masters.com/en/repos/seL4/isabelle)

## Nearby in Rust

- [garden-co/jazz · ★ 222 · Rust · Prototype](https://repo.masters-masters.com/en/repos/garden-co/jazz)
- [zmactep/patinae · ★ 222 · Rust · Prototype](https://repo.masters-masters.com/en/repos/zmactep/patinae)
- [plannotator/plannotator-tui · ★ 222 · Rust · Prototype](https://repo.masters-masters.com/en/repos/plannotator/plannotator-tui)
- [cryptoballot/cryptoballot · ★ 222 · Rust · Prototype](https://repo.masters-masters.com/en/repos/cryptoballot/cryptoballot)
- [abonander/mime\_guess · ★ 222 · Rust · Prototype](https://repo.masters-masters.com/en/repos/abonander/mime_guess)
- [klingtnet/rosc · ★ 222 · Rust · Prototype](https://repo.masters-masters.com/en/repos/klingtnet/rosc)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.