Rux, a hobbyist microkernel written in Rust
A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4. - sorpaas/rux
Rux, a hobbyist microkernel written in Rust launched on January 6, 2017 with 14 votes, #1,552 of 3,671 launches that month and more than 75% of that year's launches. The site was still online in September 2026, 9 years on.
In plain words
Rux is a microkernel project written in Rust, designed for hobbyist operating system development. It provides a lightweight kernel foundation for developers interested in exploring OS design principles and Rust systems programming. The project is hosted on GitHub and targets those experimenting with microkernel architecture and low-level systems code in a hobby context.
written from the facts on this page · September 2026
Does a similar job
all alternatives →
Redox Rust OS – v0.3.3 release2017 · github.com · ▲232Mirror of https://gitlab.redox-os.org/redox-os/redox - Release 0.3.3 - Lower Memory Usage · redox-os/redox
Write generative fine art in Rust2020 · paytonturnage.gitbook.io · ▲306- RARust, ARM Cortex M, and a Generated HAL2016 · jamesmunns.com · ▲137
Chili. Rust port of Spice, a low-overhead parallelization library2024 · github.com · ▲233Rust port of Spice, a low-overhead parallelization library - dragostis/chili
A minimal working Rust / SDL2 / WASM browser game2024 · github.com · ▲82"Game" is a stretch, but I put together this repo containing a pure Rust app which uses SDL2 and compiles to WASM (and can be run in a browser). Older resources were a bit out of date and a bit too verbose for my purposes, so here's a minimal working example.
A DOS-like hobby OS written in Rust and x86 assembly2025 · github.com · ▲207To try it out, simply build the project yourself from source, or use attached bootable ISO image of the system (in Releases on Github) and run it in QEMU. https://blog.vxn.dev/rou2exos-rusted-edition
More dev tools this month
the category →

open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 27d ago · github.com

Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 25d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 22d ago · openbot.run
Talanoa▲341Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…
Dev tools · 20d ago · talanoa.email
CoreSpeed▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 28d ago · corespeed.io
Source: Show HN post ↗
Launched alongside, January 2017
the whole month →
Unsplash 5.0▲1,501Free (do whatever you want) high-resolution photos.
Dev tools · 2017 · unsplash.com
- PF
Life & fun · 2017 · skytorrents.in
- AA
Initial source-only release of Alacritty
Dev tools · 2017 · blog.jwilm.io
Opera Neon▲892A concept of tomorrow’s web browser you can play with today.
Life & fun · 2017 · operaneon.com
Founderkit▲858Unbiased reviews of startup tools from experienced founders
Dev tools · 2017 · founderkit.com
