Hacker GitHub

← All repos

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

Mentions per year 6 mentions · busiest year 2023 (3)
20082026
  1. …) - 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
  2. …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