A L4-like micro-kernel OS written in Rust
☆67Jan 6, 2024Updated 2 years ago
Alternatives and similar repositories for LakeOS
Users that are interested in LakeOS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lock-free buddy allocator based on binary heap☆13Mar 3, 2025Updated last year
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆24Mar 29, 2023Updated 3 years ago
- RFCs for changes to Rust☆13Updated this week
- A rust interpreter for the Lox language☆26Apr 18, 2020Updated 6 years ago
- The file system module for rCore OS.☆50Jun 13, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Basic Rust kernel using Limine☆23Feb 23, 2024Updated 2 years ago
- Take your first step in writing a compiler. Implemented in Rust.☆16Apr 17, 2023Updated 3 years ago
- Binary Ninja Plugin for RISC-V☆15Nov 29, 2023Updated 2 years ago
- ☆12Oct 14, 2017Updated 8 years ago
- GNU GRUB https://git.savannah.gnu.org/git/grub.git☆16Aug 2, 2023Updated 2 years ago
- RPM macros for packaging Rust binaries☆10Jan 14, 2026Updated 3 months ago
- dwarfdump utility but in Zig☆30Mar 8, 2024Updated 2 years ago
- General-purpose application engine for WebAssembly. Implementation of the Daku API.☆22Jul 7, 2023Updated 2 years ago
- An implementation of ext2 filesystem in Rust☆15Oct 8, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A UCI chess engine written in C☆13Apr 24, 2023Updated 2 years ago
- Binary Ninja plugin for importing symbols to a kernel binary from /proc/kallsyms☆21Oct 3, 2025Updated 6 months ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆30Aug 8, 2022Updated 3 years ago
- R3-OS — Experimental static RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics☆175Apr 22, 2023Updated 2 years ago
- ☆24Apr 5, 2023Updated 3 years ago
- A tiny x86_64 kernel written in Rust.☆84Sep 26, 2022Updated 3 years ago
- XT Toolchain☆18Apr 2, 2026Updated 2 weeks ago
- A toy operating system built with Rust☆16Nov 22, 2017Updated 8 years ago
- loxomotive - A Lox Interpreter implemented in Haskell☆17Jan 8, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Xyris Kernel☆153Jan 2, 2023Updated 3 years ago
- A playground to build C/C++/Go/Fortran applications on top of RustyHermit☆42Jul 3, 2024Updated last year
- Check that a crate builds without libstd☆25Jan 31, 2021Updated 5 years ago
- Version of Qemu User Mode allowing to run FreeBSD binaries on Linux☆26Jan 15, 2026Updated 3 months ago
- Plan9 based kernel in Rust☆20Jun 16, 2019Updated 6 years ago
- x86 bootloader and OS kernel including textual shell, heap memory allocator, ATA driver☆19Sep 29, 2020Updated 5 years ago
- opuntiaOS - an operating system targeting x86, ARM and RISC-V.☆668Apr 6, 2023Updated 3 years ago
- Teleporter is a simple application for sending files from Point A to Point B☆34Feb 27, 2023Updated 3 years ago
- Everything related to the practical work/implementation for my Diplom thesis project at TU Dresden.☆43Mar 2, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Coding an operating system to keep my sanity during the quarantine.☆70Aug 27, 2022Updated 3 years ago
- ☆15Oct 17, 2017Updated 8 years ago
- Compiler for PDP-11, written in Python☆24Jan 18, 2024Updated 2 years ago
- Paging operating system for a custom computer architecture☆109Feb 20, 2026Updated 2 months ago
- Toy microkernel and userspace written in Rust, exploring modern ideas☆266Updated this week
- Code repository of the Poncho tutorial series of Operating System development.☆12May 23, 2021Updated 4 years ago
- Hunt down sus ZLS activity by spamming ZLS with hot req/notif garbage☆21Sep 22, 2025Updated 6 months ago