Discover losfair/boat Open Source project by Heyang Zhou (@losfair)

Distributed, MVCC SQLite that runs on FoundationDB.

1,917

mvsqlite

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

1,399

RefineDB

Application container built for WebAssembly

387

IceCore

Portable WebAssembly implementation intended to run everywhere

111

wasm-core

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

dlock

Stackful coroutine library for Rust that "just works"

rust-coroutines

Violet

Superscalar RISC-V processor written in Clash.

Haskell

v8-serde

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

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

vmesh

AlphaBoard

An HTML5 web app for teaching

hexagon-e

The HexagonE VM

SQLite-based on-disk cache for Rust.

sqlite-cache

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

FlatRv

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

MagiCore

Scala

ice-node

Node bindings for the Ice Web Framework

An extremely fast accelerator for block transfer in unstable networks

AlphaTrans

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

notion-fetch

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

minichat

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

unproxy

rm-protection implemented in C

rm-protection-c

caddy-watch

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

pbft-rs

Practical Byzantine Fault Tolerance implemented in Rust.

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

bsync

Minimal containerized Blueboat suitable for self-hosting.

b6t

Shell

lambda-box

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

Log-structured, transactional virtual block device backed by S3

mvps

Sandbox for trustless execution, implemented with KVM.

kvm-sandbox

wstunnel

IP over WebSocket.

An implementation of the Erlang Distribution Protocol in Rust.

edp

Server Side Code Integrity

ssci

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

avalanche-demo

A control plane for the Nebula overlay networking system.

supernova

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

liquid-layout

Ship consistent logs from FoundationDB to Kafka.

fdb2kafka

bsdloader

Minimal (~103KB) x86_64 FreeBSD UEFI loader

Source code for my personal site.

blog

Experimental CPU with software-defined instruction set.

metamachine

VHDL

FlatMk-v0

The FlatMk Microkernel.

symbolic evaluation == circuit synthesis

NextHDL

Multi-process scheduler for managed runtimes.

smr

hexagon

A small utility for modifying ELF shared library loading order.

elfpromote

Geo-replicated eventually-consistent KV store

gkv

Scala

jslinux-wstunnel

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

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

lazyproxy

A Lua 5.3 implementation in Rust (work in progress)

luax

Test Total Store Ordering status on your CPU.

tsotest

Multi-user control plane service for Blueboat.

bbcp

Blueboat Metadata Service is a distributed metadata manager for Blueboat.

blueboat-mds

fediblog

Personal site (v2)

High-performance general-purpose stackful coroutine library

liblightning

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

violet-cosim

Command line tool for deploying and managing apps on Blueboat.

bbcli

Example apps running on Blueboat.

blueboat-examples

Code and documentation for rCore "OS Tutorial Summer of Code 2020".

rCore-SoC-2020

Single-cycle and pipelined MIPS CPUs written for learning purpose. Written in 12 hours.

mips

Verilog

cloudkernel

Distributed usermode hypervisor for modern workloads.

Blueboat cluster scheduler.

bluesched

Elixir

ops

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

Shell

hgw

A "secure enclave" I run at home

gluon

[WIP] Launch selfhosted apps in one click with mvSQLite and Fly.io

A curated collection of web apps on the Blueboat engine.

awesome-blueboat

jftp

Just Forward The Port

OxygenMark

Particles effects implemented in Rust and running on the WebAssembly platform

particles-rs

node-multithread

Multithread for Node.js

Sigstore Rekor log rollup to EVMs

rekor-evm

Present your slides easily, with remote control.

Presenter.js

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

morf

Notion website on Blueboat.

notion-blueboat

caddy-log-kafka

A Caddy log writer that writes logs to Kafka.

tunnelme

A selfhosted tunnel service.

Haskell

mips-x

Another MIPS32 CPU. My course design for Computer Organization @ NUAA, 2020 Spring.

Verilog

bfjit-osr

Brainfuck JIT for demonstrating On-Stack Replacement technology.

naptd

Import Caddy logs to MySQL for analysis.

caddy-log-to-mysql

JIT compiler targeting x86-64 for PL/0. Homework.

pl0-jit

Process manager for Linux servers

DeepDark

RISC-V static binary translator targeting AArch64.

rvjit-aa64

Digital remake of the "Acquire" board game

acquire

Gleam

blueanalytics

Self-hosted web analytics for Caddy + Blueboat.

Re-encrypt TLS connection with a different certificate

TextSharing

Text Sharing

retls

A light web app for education.

CloudEdu

Unofficial Baidu TTS API for Golang

bdtts-go

SharpIce

C# web framework based on Ice Core

OxygenMark-PageEngine

OxygenMark PageEngine

A fork of https://gitlab.com/Kanedias/html2md .

html2md

Hardware support crate for OrangeSoC.

wavebpf-hw

Haskell

orange-rs

Terminal control & VM for FutureCore

FutureCore-Terminal

pyice_base

MagiCore as a Service (https://github.com/losfair/MagiCore)

losfair

magicore-aas

My collection of dockerfiles.

dockerfiles

Dockerfile

virtual-dom-rs