Heyang Zhou

blueboat. All-in-one, multi-tenant serverless JavaScript runtime.

mvsqlite. Distributed, MVCC SQLite that runs on FoundationDB.

bake. Bake microVMs into standalone executables

RefineDB. A strongly-typed document database that runs on any transactional key-value store.

IceCore. Application container built for WebAssembly

wasm-core. Portable WebAssembly implementation intended to run everywhere

dlock. Distributed-Lock-as-a-Service implemented on Cloudflare Durable Objects.

rust-coroutines. Stackful coroutine library for Rust that "just works"

Violet. Superscalar RISC-V processor written in Clash.

vmesh. VMesh is a decentralized Layer 3 mesh router and protocol designed for open network interconnection.

v8-serde. [WIP] Pure-JavaScript implementation of the V8 value serializer

hexagon-e. The HexagonE VM

sqlite-cache. SQLite-based on-disk cache for Rust.

AlphaBoard. An HTML5 web app for teaching

FlatRv. A cross-platform RISC-V interpreter that implements the RV32IMA instruction set.

MagiCore. An out-of-order processor that supports multiple instruction sets.

bsdloader. Minimal (~123KB), reproducible x86_64 FreeBSD/OpenBSD UEFI loader

ice-node. Node bindings for the Ice Web Framework

AlphaTrans. An extremely fast accelerator for block transfer in unstable networks

notion-fetch. A Cloudflare Workers service that fetches and renders Notion pages as HTML, Markdown, or JSON.

rm-protection-c. rm-protection implemented in C

mvps. Log-structured, transactional virtual block device backed by S3

unproxy. Map TCP services behind an HTTP(S) proxy to local ports.

jslinux-wstunnel. JSLinux (https://bellard.org/jslinux/) ported to use wstunnel (https://github.com/losfair/wstunnel) for networking.

minichat. Distributed real-time chat demo on Blueboat in 15 lines of JavaScript

acquire. Digital remake of the "Acquire" board game

supernova. A control plane for the Nebula overlay networking system.

ssci. Server Side Code Integrity

wstunnel. IP over WebSocket.

caddy-watch. Watch for interesting patterns in Caddy logs and send a Telegram notification.

bsync. Incremental, multi-version remote backup tool for block devices.

edp. An implementation of the Erlang Distribution Protocol in Rust.

pbft-rs. Practical Byzantine Fault Tolerance implemented in Rust.

b6t. Minimal containerized Blueboat suitable for self-hosting.

lambda-box. λ-box 是一个运行在 Blueboat 上的匿名提问箱 app.

kvm-sandbox. Sandbox for trustless execution, implemented with KVM.

liquid-layout. A layout engine that solves UI constraints using the Z3 prover.

avalanche-demo. Demos of how the Avalanche family consensus protocols (Slush, Snowflake, Snowball and Avalanche) work.

fdb2kafka. Ship consistent logs from FoundationDB to Kafka.

blog. Source code for my personal site.

gkv. Geo-replicated eventually-consistent KV store

lazyproxy. A TCP proxy that is so lazy that shuts down itself after a period of inactivity.

rekor-evm. Sigstore Rekor log rollup to EVMs

smr. Multi-process scheduler for managed runtimes.

elfpromote. A small utility for modifying ELF shared library loading order.

violet-cosim. Cosimulator for the Violet core: https://github.com/losfair/Violet

hexagon. Rust

morf. MoRF is a mutually-authenticated, encrypted communication protocol over lossy packet links with small MTUs

v2ray-core. A platform for building proxies to bypass network restrictions.

bbcli. Command line tool for deploying and managing apps on Blueboat.

OxygenMark. C++

hgw. A "secure enclave" I run at home

ops. My collection of scripts for operating services, databases and systems.

boat. [WIP] CLI for MagicBoat.