Torna al laboratorio

github / Games & real time

typesafe-chess

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

TholeG · Lingua originale: English

Questo progetto implementa un gioco di scacchi in cui le mosse vengono elaborate come decisioni Choice tipizzate utilizzando il modello Jev. Dimostra come i sistemi di tipi formali possano strutturare la logica di gioco strategica in ambienti basati su IA.

Sintesi tradotta · AI-assisted; check the original.

Apri originale
JEVLAB decorative pixel illustration; not source mediaJEVLAB ART

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

  1. Wallpets
  2. Walltank
  3. Chowder
  4. Falconer
  5. Lemonpod
  6. Menta
  7. Sway
  8. Peon-Ping
  9. Zeron
  10. Guideless
Supporters