Top Rust Operating systems repositories on GitHub
Kernels, microkernels, and OS research projects. Filtered to projects whose primary language is Rust.
Ranked by stars across 75 Rust repositories tagged operating-system. Refreshed daily.
- 1RightNow-AI/openfang★ 18,204 · ⑂ 2,290
Open-source Agent Operating System
- agent-framework
- ai-agents
- llm
- mcp
- open-source
- openclaw
- 2redox-os/redox★ 16,583 · ⑂ 1,025
Mirror of https://gitlab.redox-os.org/redox-os/redox
- redox
- rust
- microkernel
- operating-system
- bsd
- freebsd
- 3rust-embedded/rust-raspberrypi-OS-tutorials★ 14,735 · ⑂ 874
:books: Learn to write an embedded OS in Rust :crab:
- rust
- bare-metal
- raspberry-pi-3
- rpi3
- embedded-rust
- armv8
- 4bottlerocket-os/bottlerocket★ 9,672 · ⑂ 587
An operating system designed for hosting containers
- operating-system
- containers
- linux
- rust
- Live search
Find the people behind these repos
Stars rank the projects. I can rank the engineers - maintainers, top contributors, and the people they work with. Fire one of these to see how it works.
500 free credits on sign-up, no card needed.
- 5tock/tock★ 6,444 · ⑂ 860
A secure embedded operating system for microcontrollers
- embedded
- operating-system
- rust
- cortex-m
- kernel
- tock
- 6nuta/kerla★ 3,467 · ⑂ 96
A new operating system kernel with Linux binary compatibility written in Rust.
- operating-system-kernel
- rust
- operating-system
- 7maestro-os/maestro★ 3,336 · ⑂ 111
Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases
- kernel
- rust
- unix
- lightweight
- operating-system
- posix
- 8theseus-os/Theseus★ 3,199 · ⑂ 187
Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
- operating-system
- rust
- kernel
- research
- theseus
- intralingual
- 9nebulet/nebulet★ 2,357 · ⑂ 72
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
- osdev
- webassembly
- rust
- operating-system
- microkernel
- nebulet
- 10rcore-os/rCore-Tutorial-v3★ 2,111 · ⑂ 560
Let's write an OS which can run on RISC-V in Rust from scratch!
- rust
- risc-v
- rcore
- operating-system
- k210
- Live search
Who is hiring in this space?
I read hiring signals across LinkedIn, GitHub, and the open web - so a topic list becomes a warm outreach list. Try one live.
500 free credits on sign-up, no card needed.
- 11hermit-os/hermit-rs★ 1,966 · ⑂ 117
Hermit for Rust.
- virtualization
- osdev
- operating-system
- cloud-computing
- high-performance-computing
- rust-lang
- 12hermit-os/kernel★ 1,495 · ⑂ 132
A Rust-based, lightweight unikernel.
- rust-lang
- cloud-computing
- kernel
- virtualization
- high-performance-computing
- unikernels
- 13copper-project/copper-rs★ 1,493 · ⑂ 106
Copper is an operating system for robots - build, run, and replay your entire robot deterministically.
- robotics
- ros
- rust
- operating-system
- physical-ai
- 14Andy-Python-Programmer/aero★ 1,254 · ⑂ 54
Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such as long mode, 5-level paging, and SMP (multicore), to name a few.
- operating-system
- rust
- aero
- unix
- uefi
- hacktoberfest
- 15ariel-os/ariel-os★ 1,226 · ⑂ 112
Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust
- iot
- low-power
- operating-system
- rtos
- rust
- embedded
- 16DragonOS-Community/DragonOS★ 1,205 · ⑂ 192
DragonOS is an operating system developed from scratch using Rust, with Linux compatibility. It is designed for **Serverless** scenarios.
- os
- operating-system
- rust
- Live search
Turn any brief into a list like this
I run natural-language searches across GitHub, LinkedIn, and the open web. Describe who you want and I'll build the shortlist.
500 free credits on sign-up, no card needed.
- 17
- 18arceos-org/arceos★ 780 · ⑂ 435
An experimental modular OS written in Rust.
- modular
- operating-system
- unikernel
- os-components
- rust
- osdev
- 19kazetaos/kazeta★ 696 · ⑂ 26
Retro 90s style gaming operating system
- console
- gaming
- linux
- operating-system
Find Rust engineers shipping Operating systems
The list above ranks the most-starred public Rust repositories tagged with the Operating systems topic, drawn from the public GitHub graph. Across 75 matching repositories, the contributors are a tight cluster of engineers with both Rust chops and real Operating systems experience.
That overlap is rare. Most Rust engineers haven’t shipped Operating systems, and most Operating systems maintainers don’t write Rust. The people on this list’s contributor graph are the ones who do both.
Refolk turns this list into a search. Ask for “Rust Operating systems maintainers hiring” or “Rust engineers shipping Operating systems in 2025” and Refolk returns a ranked shortlist with the commits, profiles, and projects behind each name.
How this list is built
Last refreshed: Sun, 20 Sep 2026 05:44:08 GMT
Need a more specific search?
Refolk runs natural-language searches across GitHub, LinkedIn, and the open web. Try one of these:
- Rust Operating systems maintainers hiringRun
- Rust Operating systems contributors in EuropeRun
- Companies shipping Rust Operating systemsRun
500 free credits on sign-up, no card needed.
Related lists
- Rust · CLI
- Rust · Terminal UI
- Rust · Blockchain
- Rust · Compilers
- Rust · Web frameworks
- Rust · LLM
- Rust · Embeddings
- Rust · Vector databases
See all repository lists.
Or zoom out
Common questions
How are these repositories ranked?
By stars, with forks and recent activity as tiebreakers, read from the public GitHub API. The methodology section above has the details.
How fresh is the data?
The ranking re-renders at least daily. Last refreshed: Sun, 20 Sep 2026 05:44:08 GMT.
Can I find the maintainers and contributors behind these repos?
Yes. Stars rank the projects; I can rank the engineers - maintainers, top contributors, and the people they work with. You start with 500 free credits, no card required.
Can I use this list for hiring?
That's the point. I read hiring signals across GitHub, LinkedIn, and the open web, so a repo list turns into a shortlist of engineers worth talking to.
Try it on the search you came here for
Stop building boolean strings. Just describe the person.
Type one sentence. I plan the search, read GitHub, public LinkedIn and Crunchbase records, and the open web as it is right now, and hand back a ranked list with the reason next to every name.
01Describe them
One plain sentence. Role, city, stack, stage, whatever matters to you.
02I read the web live
GitHub, public LinkedIn and Crunchbase records, the open web. Not a database that went stale last quarter.
03You read the shortlist
Ranked, with the reasoning under every name. Open a profile, ask a follow-up, narrow it down.
- Staff backend engineers in NYC who shipped Rust in production
- Series A fintechs in SF under 50 people, growing headcount this year
- Maintainers of fast-growing Rust web frameworks on GitHub
- No boolean, no filters, no seat to buy. One box.
- Read at search time, so a profile updated yesterday counts today.
- Every step visible as it runs, every name with its reason.
500 free credits on sign-up. No card, no demo call. See real searches.