github / Games & real time
typesafe-chess
AI-assisted summaries and translations. Check original sources for context and performance claims.
This project implements a chess game where moves are processed as typed Choice decisions using the Jev model. It demonstrates how formal type systems can structure strategic game logic within an AI-driven environment.
Translated summary · AI-assisted; check the original.
Source notes
This is a linked resource, not an independent verification of performance, cost or results. Check the original for current details.
- Collected
- 2026-09-21
- Discovered via
- awesomejev.com
Top 10
Supporter
- Wallpets 270 clicks67d left
W
- Walltank 188 clicks67d left
W
- CChowder 141 clicks67d left
- Falconer 121 clicks67d left
F - Lemonpod 169 clicks67d left
L
- Menta 143 clicks67d left
M - Sway 100 clicks67d left
S
- Peon-Ping 91 clicks67d left
P - Zeron 170 clicks67d left
Z
- Guideless 80 clicks67d left
G