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

GitHub
3 stars
46 watching
5 forks
Language: Ada
last commit: over 7 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

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