Microkit - A simple operating system framework for the seL4 microkernel

Meaningful control of data in distributed systems.

Verified Rust for low-level systems code

My nix configuration(s), using flakes. It's my laptop, it's my servers, it's my everything, in code.

seL4 specification and proofs

Rust support for seL4 userspace

Linux kernel module to manage seL4 guest VMs

Kani Rust Verifier

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

The materials of "Hypervisor 101 in Rust", a one-day long course, to quickly learn hardware-assisted virtualization technology and its application for high-performance fuzzing on Intel/AMD processors.

A virtual machine monitor for the seL4 microkernel

Collection of resources about Virtualization

Bao, a Lightweight Static Partitioning Hypervisor

An incremental parsing system for programming tools

The seL4 microkernel

Flexible concrete Error type built on std::error::Error

Everything you need to know about cross compiling Rust programs!

Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.

A low profile split keyboard designed to satisfy one single use case elegantly

LXC - Linux Containers

Nvim Treesitter configurations and abstraction layer

Instant Terminal Sharing

A fancy, configurable, notification manager for NeoVim

Embed Neovim in Chrome, Firefox & others.

A minimal, elegant, easy to configure startpage

nanomsg-next-generation -- light-weight brokerless messaging