Loreon
Labs
Platform
Docs
Home
Ecosystems
OCaml
agentic-chessengine-why3-cc
acherm/agentic-chessengine-why3-cc
OCaml
Emerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
2mo ago
Recent commits
Latest commits.
Add agentic chess-engine README, LICENSE, .gitignore
b8d94c3
Mathieu Acher
2mo ago
Update ASSESSMENT.md with 1000-game tournament results and full engine analysis
8cbf6a2
Mathieu Acher
4mo ago
Add Elo evaluation framework with round-robin tournament against real engines
81a2d5b
Mathieu Acher
4mo ago
WhyChess: chess engine in WhyML (Why3) with OCaml UCI wrapper
15b0de1
Mathieu Acher
4mo ago
Top contributors
Builders behind this project.
FAMILIAR-project
4 commits
