Discover AdaCore/Certyflie Open Source project by @AdaCore

This repository has been archived on 21/Aug/2024
Stars
32
Rank 801,539 (Top 16 %)
Language
Ada
License
GNU General Publi...
Created about 9 years ago
Updated about 6 years ago

AdaCore

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

gnatstudio

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

Ada

402

spark2014

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

Ada

245

Ada_Drivers_Library

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

Ada

241

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Ada

230

gnat-llvm

LLVM based GNAT compiler

Ada

182

libadalang

Ada semantic analysis library.

Ada

146

aws

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

Ada

127

gsh

A POSIX shell for Windows.

103

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

ada-traits-containers

Generic Ada Library for Algorithms and Containers

Ada

why3

SPARK 2014 repository for the Why3 verification platform.

OCaml

startup-gen

A startup code generator for embedded projects

Ada

e3-core

Core framework for developing portable automated build systems

Python

git-hooks

Git hooks Python-based scripts

Python

xmlada

The XML/Ada toolkit.

Ada

Ada-IntelliJ

Support for Ada and SPARK languages in IntelliJ IDEA

Java

OPAVES

Open Platform for Autonomous VEhicle Systems

training_material

Ada

PolyORB

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

Ada

Ada-SPARK-Crate-Of-The-Year

gnat_community_install_script

Script to automate the installation of the GNAT Community Installers

Shell

cuda

Ada

win32ada

Ada API to the Windows library

Ada

spawn

Ada

Robotics_with_Ada

Robotics with Ada, ARM, and Lego

Ada

gpr

The framework for analyzing the GNAT Project (GPR) files

Ada

libadalang-tools

Libadalang-based tools

Ada

gnat-gdb-scripts

GDB scripts for Ada programs built with GNAT

Python

gnatcoll-bindings

GNAT Components Collection – Bindings to C libraries

Ada

embedded-runtimes

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

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

Ada

templates-parser

AWS templates engine.

florist

ada-py-bind

e3-testsuite

spdm-recordflux

RC_Car_Demo

An embedded Ada/SPARK demo

Ada

RESSAC_Use_Case

A Collaborative Development Assurance Lab

Ada

aunit

Ada

SPARK_Railway_Simulation_Demo

Ada

Http_Cyclone

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.

gnat-docker

gnatdashboard

AdaSAT

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

Ada

gprconfig_kb

GPR configuration knowledge base

tictactoe

A tictactoe game written and proven in SPARK

Ada

language-examples

Examples of common software engineering constructs written in Ada and SPARK

Ada

ada_coding_standards

Ada

cheri-examples

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

Ada

RecordFlux-parser

Python

training_labs_radar

Ada

RecordFlux

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

uwrap

Ada

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_solar_system

Ada

training_labs_standalone

Ada

gnatcoll

GNAT Components Collection (obsolete)

sphinxcontrib-adadomain

Python

alt-ergo

SPARK 2014 repository for the Alt-Ergo SMT solver.

OCaml

lsif-ada

Ada

prettier-ada

Ada

SPARK-to-C_Tetris_Demo

Ada

lal-refactor

Ada

RecordFlux-devutils

AdaCore/Certyflie

AdaCore

Reviews

Repository Details

More Repositories