Repositories
Showing 10 of 25 repositories
miri
Public
Forked from
rust-lang/miri
[A forked miri for OS] An interpreter for Rust's mid-level intermediate representation
KMiri-rs/miri's past year of commit activity
Rust
0
Apache-2.0
569
0
2
Updated Oct 25, 2026
KMiri-rs/linux's past year of commit activity
KMiri-rs/KMiri's past year of commit activity
Rust
6
1
37
0
Updated Oct 25, 2026
asterinas
Public
Forked from
asterinas/asterinas
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
KMiri-rs/asterinas's past year of commit activity
Rust
0
MPL-2.0
409
0
0
Updated Oct 25, 2026
KMiri-rs/book's past year of commit activity
JavaScript
0
1
0
0
Updated Oct 23, 2026
KMiri-rs/tlaic-work's past year of commit activity
Shell
0
0
0
0
Updated Oct 23, 2026
DragonOS
Public
Forked from
DragonOS-Community/DragonOS
DragonOS is an operating system developed from scratch using Rust, with Linux compatibility. It is designed for **Serverless** scenarios.
KMiri-rs/DragonOS's past year of commit activity
Rust
0
GPL-2.0
208
0
0
Updated Oct 15, 2026
KMiri-rs/vivoblueos-kernel's past year of commit activity
Rust
0
Apache-2.0
101
0
0
Updated Oct 13, 2026
KMiri-rs/vivoblueos-build's past year of commit activity
Python
0
Apache-2.0
18
0
0
Updated Oct 13, 2026
KMiri-rs/vivoblueos-libc's past year of commit activity
Rust
0
Apache-2.0
1,359
0
0
Updated Oct 11, 2026
Most used topics
Loading…
You can’t perform that action at this time.
