Chess in the Rust and TypeScript type systems
github.com