Reversirocq

A Reversi game written in Rocq, extracted to C++ with Crane, and rendered in the browser through SDL2 and WebAssembly.

Gameplay

You play black and move first. The computer plays white using the bundled game-trees Reversi formalization with depth-limited alpha-beta search.

• Legal moves flip at least one contiguous line of white disks.
• A player with no legal moves passes automatically.
• The game ends when neither player can move; most disks wins.

Controls

• Move the mouse or use WASD / arrow keys to position the cursor.
• Left click, Space, or Return places a disk.
• 1 through 5 selects AI difficulty.
• R restarts. Q or Esc quits.

Board Cues

Yellow dots mark legal moves. The cursor turns green for valid moves, red for invalid moves, and yellow when it is not your turn.

Build Notes

The native project builds with make. This page is generated by make web, which preloads the assets directory so the placement sound is available in the browser.