github / Games & real time
typesafe-chess
AI-assisted summaries and translations. Check original sources for context and performance claims.
Este projeto implementa um jogo de xadrez onde os movimentos são processados como decisões Choice tipadas usando o modelo Jev. Demonstra como sistemas de tipos formais podem estruturar a lógica de jogos estratégicos em ambientes de IA.
Resumo traduzido · 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 cliques67d left
W
- Walltank 188 cliques67d left
W
- CChowder 141 cliques67d left
- Falconer 121 cliques67d left
F - Lemonpod 169 cliques67d left
L
- Menta 143 cliques67d left
M - Sway 100 cliques67d left
S
- Peon-Ping 91 cliques67d left
P - Zeron 170 cliques67d left
Z
- Guideless 80 cliques67d left
G