Volver al laboratorio

github / Games & real time

typesafe-chess

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

TholeG · Idioma original: English

Este proyecto implementa un juego de ajedrez donde los movimientos se procesan como decisiones Choice tipadas utilizando el modelo Jev. Demuestra cómo los sistemas de tipos formales pueden estructurar la lógica de juegos estratégicos en entornos de IA.

Resumen traducido · AI-assisted; check the original.

Ver original
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