tictactoe
by AdaCore
A tictactoe game written and proven in SPARK
AI summary
Tictactoe game
A tictactoe game written in Ada using the SPARK language and proven at runtime
- stars
- 3
- forks
- 5
- watching
- 46
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
TicTacToe game
A simple implementation of the classic TicTacToe game using Elm as its programming language
TicTacToe game
A simple implementation of the classic game TicTacToe written in Haxe programming language
AR Tic-Tac-Toe Game
Tic-Tac-Toe game using ARKit and Scenekit with improved AI opponent
TicTacToe game
An Android app implementing a TicTacToe game using custom views and Kotlin programming language.
TicTacToe game
An implementation of the paper-and-pencil game TicTacToe with customizable board size and coincidence count
Railway simulator
Demonstrates a railway network simulation with SPARK Ada to ensure train collision prevention through formal verification.
Tic Tac Toe Game
A game that uses a brute-force minimax algorithm to play perfect Tic-Tac-Toe
Tic Tac Toe Game
A Xamarin.Forms application implementing the classic game Tic-Tac-Toe in C#
Tic-Tac-Toe engine
An unbeatable Tic-Tac-Toe game engine implemented in ReasonML
GPU compiler
A toolset that compiles Ada and SPARK code to NVIDIA GPUs
Turn-based game
A simple turn-based game built using Ada and the Raylib library
GUI library
An Ada library for building graphical user interfaces with the GTK toolkit
Tic Tac Game
A Vue.js implementation of the classic tic-tac-toe game
Game Engine
An Elm implementation of the classic game Tic Tac Toe to showcase language features
Ada language server
An implementation of the Microsoft Language Server Protocol for Ada/SPARK and GPR project files.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions tictactoe.
