An opensource OpenWrt variant for mainland China users.
Lokinet is an anonymous, decentralized and IP based overlay network for the internet.
Electrum Bitcoin Wallet
Yet another remote desktop software
Source code for multichaind, multichain-cli and multichain-util.
A statically-typed, functional typesetting system
Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).
A Binary Genetic Traits Lexer Framework