Skip to content
View romac's full-sized avatar
🔮
λ
🔮
λ

Sponsoring

@fasterthanlime

Organizations

@ooc-lang @HackEPFL @epfl-lara @SpinResearch

Block or report romac

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Stars

💾 Operating Systems

16 repositories

RROS is a dual-kernel OS for satellites or other scenarios that need both real-time and general-purpose abilities. RROS = RTOS (Rust) + Linux (C).

C 678 53 Updated Jan 3, 2025

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

Rust 3,202 106 Updated Mar 11, 2026

Make Project Oberon Pretty Again

TeX 204 10 Updated Jan 9, 2024

A simple, fast, and secure operating system for the cloud.

Rust 1,074 33 Updated Mar 11, 2026

『自作OSで学ぶマイクロカーネルの設計と実装』サポートサイト

C 264 29 Updated May 6, 2025

sched_ext schedulers and tools

C 1,880 237 Updated Mar 12, 2026

A fast high-compression read-only file system for Linux, FreeBSD, macOS and Windows

C++ 2,518 84 Updated Mar 12, 2026

A hobby OS implemented in Nim https://0xc0ffee.netlify.app/osdev

Nim 485 10 Updated Jun 4, 2025

🍄 an alleged 'operating system'

Rust 740 31 Updated Dec 27, 2025

An open source implemention of Apple's `launchctl(1)`

C 90 9 Updated Sep 18, 2025

Piccolo OS is a small multitasking OS for the Raspberry Pi Pico. It is designed primarily as a teaching tool. It demonstrates the fundamentals of a co-operative multitasking OS and the Arm Cortex-M0+.

Makefile 340 22 Updated Aug 13, 2022

A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.

C++ 3,760 313 Updated Mar 11, 2026

An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WASM sandboxing.

Rust 804 20 Updated Jun 21, 2025

Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

Rust 4,348 278 Updated Mar 12, 2026

The Kernel of CharlotteOS, An Experimental Modern Operating System

Rust 251 4 Updated Jan 15, 2026

Lightweight GUI for managing Bhyve, Jails, ZFS, networking, and more on FreeBSD

Go 494 40 Updated Mar 12, 2026