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
Sorting:
- Compiler for PDP-11, written in Python☆24Jan 18, 2024Updated 2 years ago
- An implementation of the Xerox IFS protocol suite☆12Oct 3, 2023Updated 2 years ago
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆24Mar 29, 2023Updated 2 years ago
- RPM macros for packaging Rust binaries☆10Jan 14, 2026Updated last month
- ☆14Sep 2, 2012Updated 13 years ago
- A Forth J1 emulator in C☆13Nov 25, 2025Updated 3 months ago
- An implementation of ext2 filesystem in Rust☆15Oct 8, 2021Updated 4 years ago
- Economic MMO-RTS videogame framework in Node.js☆10Jul 18, 2016Updated 9 years ago
- FiwixOS is a Fiwix distribution, an operating system made from a software collection that is based upon the Fiwix kernel.☆22Nov 15, 2025Updated 3 months ago
- A virtual machine and assembler written in AWK.☆16May 3, 2019Updated 6 years ago
- A minimalist svn client to checkout/update Subversion repositories.☆14Jan 18, 2024Updated 2 years ago
- ☆18Mar 1, 2026Updated last week
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆16Aug 21, 2021Updated 4 years ago
- The LiteBSD ports tree.☆17Jan 21, 2018Updated 8 years ago
- xMach (Mach4+Lites) cloned from Sourceforge CVS☆24Aug 11, 2024Updated last year
- A kernel written in Rust☆92Dec 9, 2024Updated last year
- Prex is a portable real-time operating system for embedded systems☆28Jun 22, 2010Updated 15 years ago
- uckermit: μC‑Kermit (μCKermit, micro‑C‑Kermit, microkermit) is a minimalistic Kermit implementation for small, embedded, or resource cons…☆20Nov 28, 2025Updated 3 months ago
- do not use this, needs major rework | libre linux from scratch book utilizing musl libc, libressl, sysvinit and partially busybox.☆12Aug 5, 2024Updated last year
- Spiking neural network inference engine for 7-Series FPGAs☆26Aug 31, 2025Updated 6 months ago
- Updated Plan9 cross compilers (for OSX and Linux) including RISC V target☆20Sep 2, 2020Updated 5 years ago
- Wasm binary parser for Zig☆19Mar 2, 2023Updated 3 years ago
- Hunt down sus ZLS activity by spamming ZLS with hot req/notif garbage☆21Sep 22, 2025Updated 5 months ago
- Open-source, Thread-safe, Embedded, FAT file-system.☆22Jan 23, 2014Updated 12 years ago
- Javascript emulator for intel 4004/4040☆18Dec 6, 2024Updated last year
- Prolog in AWK☆17Mar 9, 2017Updated 9 years ago
- A simple containerized application manage system like Kubernetes, but written in Rust☆19Jun 25, 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☆172Apr 22, 2023Updated 2 years ago
- ☆25Dec 20, 2021Updated 4 years ago
- a dependency management solution for zig projects!☆20Jan 15, 2023Updated 3 years ago
- A tiny lexical analyser generator☆19Nov 29, 2011Updated 14 years ago
- Everything related to the practical work/implementation for my Diplom thesis project at TU Dresden.☆43Mar 2, 2025Updated last year
- Binary Ninja plugin for importing symbols to a kernel binary from /proc/kallsyms☆21Oct 3, 2025Updated 5 months ago
- ☆21Jun 21, 2024Updated last year
- A C11 compiler for the discrete logic computer☆21Apr 3, 2024Updated last year
- deserialize env vars into typesafe structs☆20Aug 30, 2025Updated 6 months ago
- A more standards compliant C library written in M2-Planet's C subset☆21Feb 9, 2026Updated last month
- The file system module for rCore OS.☆50Jun 13, 2024Updated last year
- A simple ARM/x86(_64) static linker☆44Mar 9, 2023Updated 3 years ago