Embeddable, replicated and fault-tolerant SQL engine.

The lightweight, user-friendly, distributed relational database built on SQLite.

Fold Craft Launcher, an Android Minecraft : Java Edition launcher.

Generate any location from the real world in Minecraft Java Edition with a high level of detail.

OrioleDB – building a modern cloud-native storage engine (... and solving some PostgreSQL wicked problems)

《离开的人们》知识库

Transforms UDP stream into (fake) TCP streams that can go through Layer 3 & Layer 4 (NAPT) firewalls/NATs.

A powerful WireGuard client for Windows with advanced split tunneling and an intuitive, user-friendly interface.

Really fast log explorer based on glogg project

程序员延寿指南 | A programmer's guide to live longer

ACE and TAO

Cross platform third-party DMM Game Player in C#

A simple offline web3 transaction input decoder for functions and constructors.

Candy GUI desktop application implemented by Qt

A reliable, low-latency, and anti-censorship virtual private network

💾 dn - offline full-text search and archiving for your Chromium-based browser.

Visual reverse engineering tool.

Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)

A caching approach in the warehouse based on the LACAM algorithm in Lifelong Muli-Agent Path Finding

Multi-platform auto-proxy client, supporting Sing-box, X-ray, TUIC, Hysteria, Reality, Trojan, SSH etc. It’s an open-source, secure and ad-free.

OpenGFW is a flexible, easy-to-use, open source implementation of GFW (Great Firewall of China) on Linux

An unofficial timeline creation tool for "Princess Connect Re:Dive"

dynamic runtime patching to circumvent vmp

The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

Record and Replay Framework

Abandoned online 2D physics app and game engine with multiplayer — See `simulo_bevy` for continuation

The single instruction C compiler

💻 C++ Functional Terminal User Interface. ❤️

The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis