Lists (12)
Stars
An experimental modern general-purpose microkernel OS.
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
InfluxCommunity / flux
Forked from influxdata/fluxThis 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)
The Gameboy emulator that runs anywhere (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 cross-platform, safe, pure-Rust graphics API.
A modern Wine wrapper for macOS built with SwiftUI
Experience macOS just like before
A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
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.