Rocqsweeper

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

Gameplay

Reveal every safe cell on the 9 by 9 board without revealing a mine. The first reveal generates a board that keeps the chosen starting cell safe.

• Numbers show how many neighboring cells contain mines.
• Flags mark suspected mines without revealing the cell.
• Revealing a mine loses; revealing all safe cells wins.

Controls

• Move the mouse or use WASD / arrow keys to position the cursor.
• Left click or Space reveals the selected cell.
• Right click or F toggles a flag.
• R restarts. Q or Esc quits.

Board Cues

Hidden tiles are blue-gray, revealed tiles are light, flags are red, mines are dark, and the active cursor is outlined in gold.

Build Notes

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