Explore @AdaCore Open Source projects

@AdaCore

AdaCore

Stars
2,957
Global Org. Rank 6,926 (Top 3 %)
Registered almost 10 years ago
Most used languages

Ada
68.6 %

Python
16.3 %

C
7.0 %

OCaml
2.3 %

Java
2.3 %

Shell
1.2 %

Coq 1.2 %

C++
1.2 %
Location 🇺🇸 United States
Country Total Rank 3,701
Country Ranking

Ada
1

Coq 70

OCaml
175

C
1,569

Shell
5,400

Python
5,637

Java
5,937

gnatstudio

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

spark2014

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

Ada_Drivers_Library

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

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

gnat-llvm

LLVM based GNAT compiler

libadalang

Ada semantic analysis library.

aws

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

gsh

A POSIX shell for Windows.

learn

Sources for learn.adacore.com

gtkada

Ada bindings for the GTK+ graphical library.

langkit

Language creation framework.

gprbuild

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

svd2ada

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

bb-runtimes

Source repository for the GNAT Bare Metal BSPs

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

VSS

High level string and text processing library

gnatcoll-core

GNAT Components Collection – Core packages

gnatcoverage

GNATcoverage: Coverage Analysis Tool

Certyflie

ada-traits-containers

Generic Ada Library for Algorithms and Containers

why3

SPARK 2014 repository for the Why3 verification platform.

e3-core

Core framework for developing portable automated build systems

startup-gen

A startup code generator for embedded projects

git-hooks

Git hooks Python-based scripts

Ada-IntelliJ

Support for Ada and SPARK languages in IntelliJ IDEA

xmlada

The XML/Ada toolkit.

PolyORB

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

OPAVES

Open Platform for Autonomous VEhicle Systems

training_material

Ada-SPARK-Crate-Of-The-Year

gnat_community_install_script

Script to automate the installation of the GNAT Community Installers

cuda

spawn

libadalang-tools

Libadalang-based tools

gnat-gdb-scripts

GDB scripts for Ada programs built with GNAT

win32ada

Ada API to the Windows library

Robotics_with_Ada

Robotics with Ada, ARM, and Lego

embedded-runtimes

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

gnatcoll-bindings

GNAT Components Collection – Bindings to C libraries

gpr

The framework for analyzing the GNAT Project (GPR) files

adareducer

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

Markdown parser

labs-material

Support Libraries for AdaCore University Labs

aunit

ada-py-bind

e3-testsuite

e3 testsuite driver

RC_Car_Demo

An embedded Ada/SPARK demo

SPARK_Railway_Simulation_Demo

templates-parser

AWS templates engine.

Compile_And_Prove_Demo

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

program_proofs_in_spark

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

spdm-recordflux

RESSAC_Use_Case

A Collaborative Development Assurance Lab

gnatdashboard

Analyse a project.

florist

Http_Cyclone

gnat-docker

e3-aws

High level interface for CloudFormation

Platinum_Reusable_Stack

wposix

Ada Windows POSIX binding

code_examples_server

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

lmod_manager

lmod based management tool for GNAT and SPARK installations

SPARK_PDI_Demo

Use of SPARK to implement Parameter Data Items

langkit-query-language

query language for Libadalang and Langkit

gprconfig_kb

GPR configuration knowledge base

language-examples

Examples of common software engineering constructs written in Ada and SPARK

tictactoe

A tictactoe game written and proven in SPARK

RecordFlux-parser

ada_coding_standards

RecordFlux

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

style_checker

The AdaCore style checker

gpr-unit-provider

GPR2 based unit provider for Libadalang

gnatdoc

GNAT Documentation Generator

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

z3

SPARK 2014 repository for the Z3 SMT solver.

lal-checkers

Libadalang-based code checking infrastructure

spark_translator

SPARK 2005 to 2014 translator

Lumos_Maxima

Lumos_Maxima repository for VerifyThis challenge

training_labs_standalone

training_labs_solar_system

alt-ergo

SPARK 2014 repository for the Alt-Ergo SMT solver.

lsif-ada

RecordFlux-devutils

prettier-ada

SPARK-to-C_Tetris_Demo