An experimental modern general-purpose microkernel OS.

Rust debugger for Linux x86-64

Statistical data visualization in Python

Create beautiful, publication-quality books and documents from computational content.

chDB is an in-process OLAP SQL Engine 🚀 powered by ClickHouse

🗻 Log-structured, embeddable key-value storage engine written in Rust

This is the community fork of Flux, a lightweight scripting language for querying databases (like InfluxDB) and working with data. It's part of InfluxDB 1.7 and 2.0, but can be run independently of…

Friendly bike+transit directions (frontend)

High-level tracing language for Linux

Rust course taught at FEI VŠB-TUO.

The Gameboy emulator that runs everywhere (Terminal, Web, Desktop)

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Hyperlight is a lightweight Virtual Machine Manager (VMM) designed to be embedded within applications. It enables safe execution of untrusted code within micro virtual machines with very low latenc…

A Smart Ethernet Switch for Earth

A cross-platform, safe, pure-Rust graphics API.

A modern Wine wrapper for macOS built with SwiftUI

Experience macOS just like before

Compile Rust code to GBZ80 (Gameboy Z80)

mouse & keyboard sharing via LAN

Analyze ELF binaries like a boss 😼🕵️‍♂️

The Kernel of CharlotteOS

A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester

Isochronous Round-Trip Tester

Fast, light, simple Docker containers & Linux machines

Experimental WASM Microkernel Operating System

A Python script to modify Nexus 5X boot images to disable big CPU core in order to workaround the bootloop of death (BLOD). The original fix was found by XCnathan32.

A routing stack written in Rust.