Software

Fountain Engine active

· network coding, BATS codes, protocol, ongoing project

Fountain Engine is a major ongoing project: a production-oriented networking engine built around fountain (BATS) coding. It implements end-to-end batched network coding for real-world network stacks, targeting throughput, latency and stability improvements in wireless and multi-hop networks. See the project documentation for design details, API reference and usage guides.

Documentation →

SimBATS — BATS Code Simulator maintained

MATLAB / C++ · BATS codes, simulator

Simulator for BATS codes, used for evaluating batched sparse codes in network communication scenarios.

Finite-Length BATS Analysis maintained

· BATS codes, finite length

Tools for finite-length analysis of BATS codes, complementing the theoretical results on batched sparse codes.

N4Code — Machine-Checked Proofs for Optimal (n,4) Binary Codes active

Lean 4 (mathlib) · Apache-2.0 · Lean, formal verification, machine-checked proofs, finite-length codes, binary symmetric channel

N4Code is a machine-checked formalization, in Lean 4 and mathlib, of the classification of optimal finite-length block codes of size four for binary symmetric channels. It verifies the main theorems of Y. Dong and S. Yang, "On Optimal Finite-Length Block Codes of Size Four for Binary Symmetric Channels" (IEEE Transactions on Information Theory, 2025). Repository: github.com/shhyang/n4code_lean · DOI: 10.5281/zenodo.22253544