AdaCore/tictactoe

Games

Stars
3
Rank 3,849,694 (Top 79 %)
Language
Ada
License
BSD 3-Clause "New...
Created almost 7 years ago
Updated almost 7 years ago

AdaCore

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A tictactoe game written and proven in SPARK

tictactoe

A tictactoe game written and proven in SPARK

gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.

Ada

373

spark2014

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Ada

235

Ada_Drivers_Library

Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.

Ada

229

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada

217

gnat-llvm

LLVM based GNAT compiler

Ada

173

libadalang

Ada semantic analysis library.

Ada

142

aws

AWS is a complete framework to develop Web based applications in Ada.

Ada

123

RecordFlux

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Ada

100

gsh

A POSIX shell for Windows.

learn

Sources for learn.adacore.com

Ada

gtkada

Ada bindings for the GTK+ graphical library.

Ada

langkit

Language creation framework.

Python

gprbuild

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

Ada

svd2ada

An Ada binding generator from SVD descriptions for bare board ARM devices.

Ada

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

Ada

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

VSS

High level string and text processing library

Ada

gnatcoll-core

GNAT Components Collection – Core packages

Ada

gnatcoverage

GNATcoverage: Coverage Analysis Tool

Ada

Certyflie

Ada

ada-traits-containers

Generic Ada Library for Algorithms and Containers

Ada

why3

SPARK 2014 repository for the Why3 verification platform.

OCaml

e3-core

Core framework for developing portable automated build systems

Python

startup-gen

A startup code generator for embedded projects

Ada

git-hooks

Git hooks Python-based scripts

Python

Ada-IntelliJ

Support for Ada and SPARK languages in IntelliJ IDEA

Java

xmlada

The XML/Ada toolkit.

Ada

PolyORB

PolyORB provides a uniform solution to build distributed applications relying either on middleware standards

Ada

OPAVES

Open Platform for Autonomous VEhicle Systems

training_material

Ada

Ada-SPARK-Crate-Of-The-Year

gnat_community_install_script

Script to automate the installation of the GNAT Community Installers

Shell

cuda

Ada

spawn

Ada

libadalang-tools

Libadalang-based tools

Ada

gnat-gdb-scripts

GDB scripts for Ada programs built with GNAT

Python

win32ada

Ada API to the Windows library

Ada

Robotics_with_Ada

Robotics with Ada, ARM, and Lego

Ada

embedded-runtimes

runtimes that add support for various boards to the GNAT GPL compiler for ARM

Ada

gnatcoll-bindings

GNAT Components Collection – Bindings to C libraries

Ada

gpr

The framework for analyzing the GNAT Project (GPR) files

Ada

adareducer

Python

qemu

gnatcoll-db

GNAT Components Collection – Database packages

sparkformal

The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.

UnityAdaTetris

markdown

labs-material

Support Libraries for AdaCore University Labs

aunit

ada-py-bind

e3-testsuite

RC_Car_Demo

An embedded Ada/SPARK demo

Ada

SPARK_Railway_Simulation_Demo

Ada

templates-parser

AWS templates engine.

Ada

Compile_And_Prove_Demo

Demo project for new web site: Compile It! / Prove It!

Ada

program_proofs_in_spark

This repository contains some programs from Rustan Leino's book "Program Proofs" verified with SPARK.

Ada

spdm-recordflux

RESSAC_Use_Case

A Collaborative Development Assurance Lab

gnatdashboard

florist

Http_Cyclone

gnat-docker

Python

e3-aws

High level interface for CloudFormation

Python

Platinum_Reusable_Stack

Ada

wposix

Ada Windows POSIX binding

Ada

code_examples_server

prototype server for creating interactive "try SPARK / try Ada" webpages

Python

lmod_manager

lmod based management tool for GNAT and SPARK installations

Python

SPARK_PDI_Demo

Use of SPARK to implement Parameter Data Items

Ada

langkit-query-language

query language for Libadalang and Langkit

Java

gprconfig_kb

GPR configuration knowledge base

language-examples

Examples of common software engineering constructs written in Ada and SPARK

Ada

RecordFlux-parser

RecordFlux-devutils

Python

ada_coding_standards

Ada

style_checker

The AdaCore style checker

gpr-unit-provider

GPR2 based unit provider for Libadalang

Ada

gnatdoc

GNAT Documentation Generator

Ada

Lunar_Lander_Rotation_Demo

Demonstration program that interacts with the AdaFruit BNO055 breakout board in order to send orientation data to a host computer

AdaSAT

training_labs_radar

uwrap

cheri-examples

SPARK 2014 repository for the Z3 SMT solver.

C++

lal-checkers

Libadalang-based code checking infrastructure

Python

spark_translator

SPARK 2005 to 2014 translator

Python

Lumos_Maxima

Lumos_Maxima repository for VerifyThis challenge

Ada

training_labs_standalone

Ada

training_labs_solar_system

Ada

alt-ergo

SPARK 2014 repository for the Alt-Ergo SMT solver.

OCaml

lsif-ada

Ada

prettier-ada

Ada

SPARK-to-C_Tetris_Demo

Ada

AdaCore/tictactoe

AdaCore

Reviews

Repository Details

tictactoe

More Repositories