A tool for building minimal Raspberry Pi OS-based operating systems, which do not contain apt or dpkg.

A Mopidy HTTP client that allows multiple users to search for and queue songs as a group, via a clean and simple interface. Great for parties!

Mopidy web extension designed for party

Grandmaster-Level Chess Without Search

Teaching transformers to play chess

Unikernel and immutable infrastructures

Microkernel and userspace written in Rust exploring modern ideas

Hermit for Rust.

A teaching operating system written in Rust

Rust-based Unikernel

An experimental modular OS written in Rust.

Genetic Algorithm for integer constrained optimization and its applications

あばばばばばばばばば

Genetic algorithm implementation in Rust with animated visualizations in Python

Rust library providing a counter-based thread barrier

a microkernel for study purposes

Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)

LeOS operating system Kernel for AArch64 written in Rust

Cross-platform GUI library for 🦀 Rust powered by 🧬 Dioxus and 🎨 Skia.

G-NAV is a soaring computer for Linux OS, written in Ada and powered by OpenGL (ES) and either GLFW or SDL. It runs native on Raspberry Pi and similar ARM boards.

Virtual network manager - Manages containers and VMs to create a virtual network setup

tiny container manager

Lilipod is a simple container manager, able to download, unpack and use OCI images from various container registries.

RIK is an experimental workload orchestrator that allows you to deploy your cloud applications, written in Rust.

Public tracking Clark Williams' rt-tests suite

The demonstration project of usage of recompiled Zephyr SDK toolchain with enabled Ada lang

An OpenGL implementation enabling 3D acceleration for Windows and Linux guests in QEMU/KVM