tictactoe

BSD-3-ClauseAda

A tic-tac-toe game formally verified using the SPARK programming language to ensure correctness.

GitHub

3 stars6 forks0 contributors

Overview

A tictactoe game written and proven in SPARK

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

9 years ago

CreatedSince 2017

Built With

Included in

Ada/SPARK821

Auto-fetched 1 day ago

eepers

Simple Turn-based Game

Stars468

Forks29

Last commit2 years ago

steamsky

Mirror of a roguelike in sky with a steampunk setting

A Game Boy emulation library in Ada

Stars32

Forks1

Last commit3 months ago

ada-gate

AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.

Stars24

Forks2

Last commit2 months ago