GitHub repository: Dragon-Hatcher/type-system-chess
Primary language: Rust
Description: Chess implemented entirely in the Rust and TS type systems.