dogear

enter for all results · esc to close

tictactoe

github.comtool

A tictactoe game written and proven in SPARK/Ada.

visit github.com ↗
0
sign in to dogear this
from
Ada/SPARK
added
2026-10-10
likes
0

similar

  1. Tictactoe github.com
    tool category #open-source-games link ↗

    Graphical tic-tac-toe AI which never loses.

  2. testy github.com
    tool category #ada link ↗

    Ada testing framework, part of Tada.

  3. eepers github.com
    tool category #ada link ↗

    A simple Turn-based Game in Ada (made with raylib).

  4. simple-games drive.google.com
    site category #ada link ↗

    Learning Ada 2012 by writing simple games.

  5. Tic Tac Toe github.com
    tool category #swift-playgrounds link ↗
  6. geste github.com
    tool category #ada link ↗

    Sprite and tile 2D render engine designed to run on micro-controllers.

Ada/SPARK › Games: “A tictactoe game written and proven in SPARK/Ada.”