Dragon-Hatcher/type-system-chess
View on GitHub ↗ ★ 359 Rust
Chess implemented entirely in the Rust and TS type systems.
6 mentions on Hacker News by 6 people: 4 stories, 2 comments · first 2023-07-09 · latest 2026-08-21
20082026
-
…) - Chess implemented entirely in TypeScript (and Rust) type systems ( https://github.com/Dragon-Hatcher/type-system-chess ) - Lambda calculus in TypeScript type system ( https://ayazhafiz.com/articles/21/typescript-type-system-l
comment by norskeld · 2024-11-02 · in Cash: A small jQuery alternative for modern browsers -
…Chess[0], in which the game rules are expressed in the type systems of Rust and TypeScript. [0]: https://github.com/Dragon-Hatcher/type-system-chess
comment by mandibles · 2024-05-13 · in Static Chess