AdaCore

AdaCore is the leading provider of commercial software solutions for Ada.

Paris, France - New York City, NY

Pinned Repositories

Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Language:Ada257 57 112147
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Language:Ada253 34 23263
aws
AWS is a complete framework to develop Web based applications in Ada.
Language:Ada138 35 8137
gnat-llvm
LLVM based GNAT compiler
Language:Ada193 25 5120
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Language:Ada439 47 17156
gsh
A POSIX shell for Windows.
Language:C110 9 1410
learn
Sources for learn.adacore.com
Language:Ada96 29 15240
libadalang
Ada semantic analysis library.
Language:Ada151 38 14344
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Language:Ada112 11 7948
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Language:Ada265 45 4436

AdaCore's Repositories

AdaCore/gsh
A POSIX shell for Windows.
Language:C110 9 1410
AdaCore/git-hooks
Git hooks Python-based scripts
Language:Python25 32 1713
AdaCore/Ada-IntelliJ
Support for Ada and SPARK languages in IntelliJ IDEA
Language:Java22 29 189
AdaCore/Ada-SPARK-Crate-Of-The-Year
20 34 222
AdaCore/cuda
Language:Ada20 29 05
AdaCore/gnat-gdb-scripts
GDB scripts for Ada programs built with GNAT
Language:Python18 27 43
AdaCore/Robotics_with_Ada
Robotics with Ada, ARM, and Lego
Language:Ada17 51 04
AdaCore/RC_Car_Demo
An embedded Ada/SPARK demo
Language:Ada7 30 24
AdaCore/gnat-docker
Language:Python6 30 13
AdaCore/program_proofs_in_spark
This repository contains some programs from Rustan Leino's book "Program Proofs" verified with SPARK.
Language:Ada6 32 0
AdaCore/spdm-recordflux
6 34 0
AdaCore/gnatdashboard
Analyse a project.
Language:Python4 30 16
AdaCore/Platinum_Reusable_Stack
Language:Ada4 33 12
AdaCore/lmod_manager
lmod based management tool for GNAT and SPARK installations
Language:Python3 28 21
AdaCore/RecordFlux-devutils
Language:Python3 7 31
AdaCore/gpr-unit-provider
GPR2 based unit provider for Libadalang
Language:Ada2 30 00
AdaCore/OpenUxAS
Project for multi-UAV cooperative decision making
Language:C++2 3 03
AdaCore/RecordFlux-parser
Language:Python2 5 320
AdaCore/style_checker
The AdaCore style checker
Language:C2 5 04
AdaCore/training_labs_radar
Language:Ada2 4 0
AdaCore/fswatch
A cross-platform file change monitor with multiple backends: Apple OS X File System Events, *BSD kqueue, Solaris/Illumos File Events Notification, Linux inotify, Microsoft Windows and a stat()-based backend.
Language:C++1 3 02
AdaCore/LmcpGen
Project to auto-create libraries adhering to the LMCP specification
Language:Java1 1 01
AdaCore/training_labs_standalone
Language:Ada1 4 0
AdaCore/.github
0 35 00
AdaCore/AFLplusplus
The fuzzer afl++ is afl with community patches, AFLfast power schedules, qemu 3.1 upgrade + laf-intel support, MOpt mutators, InsTrim instrumentation, unicorn_mode, Redqueen and a lot more!
Language:C1 01
AdaCore/contributing-howto
Guidelines for contributing to AdaCore's repositories
44 16
AdaCore/cpython
The Python programming language
Language:Python22 03
AdaCore/gnatstudio-achord-plugin
Language:Python33 0
AdaCore/OpenUxAS-bootstrap
Support to automatically install dependencies for and build OpenUxAS
Language:Python1 03
AdaCore/wit-bindgen
A language binding generator for WebAssembly interface types
Language:Rust1 0