isan-Ethen

nandgame-translate-ja

https://nandgame.com/translate/ja

seccamp2024

hypervisor

Clayium

Clayium 1.12.2 porting

model-checker-from-scratch

Let's build a symbolic model checker from scratch in Rust !

riscv

The TOPPERS RISC-V Working Group is a working group that will standardize the TOPPERS 3rd generation kernels for RISC-V, develop tool chains for RISC-V, and port the kernels.

linux

Linux kernel source tree

PayloadsAllTheThings

A list of useful payloads and bypass for Web Application Security and Pentest/CTF

MIRAI

Rust mid-level IR Abstract Interpreter

ariadne

A fancy diagnostics & error reporting crate

bern-rtos

A real-time operating system for microcontrollers written in Rust. (GitLab Mirror)

dandelion

🌀 Microkernel Real-Time Operating System in Rust

mtkernel_3

micro T-Kernel 3.0

rust-verifier

os1000-rs

rust-horn

RustHorn: A CHC-based automated verifier for Rust

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

miri

An interpreter for Rust's mid-level intermediate representation

verus

Verified Rust for low-level systems code

mendel-verifier

Capability-based verifier for safe Rust clients of interior mutability

Methylenix

The operating system written in Rust

embedded-book

linux-0.01

Historically first (actually 0.01) release of linux kernel made by Linus Torvalds

operating-system-in-1000-lines

Writing an OS in 1,000 lines.

nsh

A command-line shell like fish, but POSIX compatible.

kerla

A new operating system kernel with Linux binary compatibility written in Rust.

microkernel-book

seL4

The seL4 microkernel

sheave

An RTMP client/server implementation by Rust.

rust

Empowering everyone to build reliable and efficient software.