github / Games & real time

typesafe-chess

AI-assisted summaries and translations. Check original sources for context and performance claims.

TholeG · Langue d’origine: English

Ce projet implémente un jeu d'échecs où les coups sont traités comme des décisions Choice typées via le modèle Jev. Il illustre comment les systèmes de types formels peuvent structurer la logique de jeu stratégique dans un environnement IA.

Résumé traduit · AI-assisted; check the original.

Voir l’original Copier le lienEnregistrer

JEVLAB ART

Top 10

Supporter

1. W
   Wallpets 270 clics67d left
2. W
   Walltank 188 clics67d left
3. C
   Chowder 141 clics67d left
4. F
   Falconer 121 clics67d left
5. L
   Lemonpod 169 clics67d left
6. M
   Menta 143 clics67d left
7. S
   Sway 100 clics67d left
8. P
   Peon-Ping 91 clics67d left
9. Z
   Zeron 170 clics67d left
10. G
    Guideless 80 clics67d left

Supporters