tictactoe

Tictactoe game

A tictactoe game written in Ada using the SPARK language and proven at runtime

A tictactoe game written and proven in SPARK

3 stars

46 watching

5 forks

Language: Ada

last commit: about 9 years ago

Linked from 1 awesome list

Backlinks from these awesome lists:

ohenley/awesome-ada

Related projects:

Repository	Description	Stars
allannozomu/tictactoe	A simple implementation of the classic TicTacToe game using Elm as its programming language	3
desttinghim/fcc-tictactoe	A simple implementation of the classic game TicTacToe written in Haxe programming language	1
bjarnel/arkit-tictactoe	Tic-Tac-Toe game using ARKit and Scenekit with improved AI opponent	395
wendyyanto/android-tic-tac-toe	An Android app implementing a TicTacToe game using custom views and Kotlin programming language.	2
romankh3/tictactoe	An implementation of the paper-and-pencil game TicTacToe with customizable board size and coincidence count	4
adacore/spark_railway_simulation_demo	Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification.	5
cout-hello-world/tictactoe	A game that uses a brute-force minimax algorithm to play perfect Tic-Tac-Toe	12
jamesmontemagno/app-tictactoe	A Xamarin.Forms application implementing the classic game Tic-Tac-Toe in C#	10
venil7/reasonml-tictactoe	An unbeatable Tic-Tac-Toe game engine implemented in ReasonML	6
adacore/cuda	A toolset that compiles Ada and SPARK code to NVIDIA GPUs	18
tsoding/eepers	A simple turn-based game built using Ada and the Raylib library	351
adacore/gtkada	An Ada library for building graphical user interfaces with the GTK toolkit	91
widatama/tic-tac-vue	A Vue.js implementation of the classic tic-tac-toe game	3
pwadsworth/tictacelm	An Elm implementation of the classic game Tic Tac Toe to showcase language features	0
adacore/ada_language_server	An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files.	242