Giters
AdaCore

AdaCore

Organization data from Github https://github.com/AdaCore

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

Location:Paris, France - New York City, NY

Home Page:https://www.adacore.com

GitHub:@AdaCore

AdaCore's repositories

gnatstudio

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

Language:AdaStargazers:480Issues:44Issues:176

spark2014

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

Language:AdaLicense:GPL-3.0Stargazers:287Issues:43Issues:48

ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

Language:AdaLicense:GPL-3.0Stargazers:276Issues:33Issues:243

gnat-llvm

LLVM based GNAT compiler

Language:AdaStargazers:212Issues:26Issues:58

libadalang

Ada semantic analysis library.

Language:AdaLicense:NOASSERTIONStargazers:161Issues:34Issues:146

aws

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

Language:AdaLicense:NOASSERTIONStargazers:149Issues:32Issues:83

learn

Sources for learn.adacore.com

Language:AdaLicense:CC-BY-4.0Stargazers:107Issues:27Issues:159

ada-spark-rfcs

Platform to submit RFCs for the Ada & SPARK languages

Stargazers:68Issues:47Issues:69

gnatcoverage

GNATcoverage: Coverage Analysis Tool

Language:AdaStargazers:44Issues:9Issues:16

startup-gen

A startup code generator for embedded projects

Language:AdaStargazers:32Issues:31Issues:7

training_material

Language:AdaLicense:CC-BY-4.0Stargazers:30Issues:29Issues:5

xmlada

The XML/Ada toolkit.

Language:AdaLicense:NOASSERTIONStargazers:28Issues:9Issues:16

gpr

The framework for analyzing the GNAT Project (GPR) files

Language:AdaLicense:Apache-2.0Stargazers:20Issues:7Issues:10

spawn

Language:AdaLicense:NOASSERTIONStargazers:18Issues:27Issues:5

gnatcoll-bindings

GNAT Components Collection – Bindings to C libraries

Language:AdaLicense:NOASSERTIONStargazers:16Issues:33Issues:13

adareducer

Language:PythonLicense:GPL-3.0Stargazers:13Issues:28Issues:17

aunit

Language:AdaLicense:NOASSERTIONStargazers:11Issues:27Issues:12

gnatformat

Language:AdaLicense:NOASSERTIONStargazers:11Issues:4Issues:6

templates-parser

AWS templates engine.

Language:AdaLicense:NOASSERTIONStargazers:10Issues:29Issues:9

AdaSAT

Language:AdaLicense:Apache-2.0Stargazers:8Issues:3Issues:1

florist

Language:AdaLicense:GPL-2.0Stargazers:7Issues:30Issues:5

langkit-query-language

query language for Libadalang and Langkit

Language:AdaLicense:NOASSERTIONStargazers:7Issues:26Issues:1

e3-aws

High level interface for CloudFormation

Language:PythonLicense:GPL-3.0Stargazers:5Issues:8Issues:2

gnatdoc

GNAT Documentation Generator

Language:AdaLicense:NOASSERTIONStargazers:5Issues:28Issues:12

wposix

Ada Windows POSIX binding

Language:AdaLicense:NOASSERTIONStargazers:5Issues:3Issues:0

ada_libfswatch

prototype Ada binding to the libfswatch library https://github.com/emcrisostomo/fswatch/

Language:AdaLicense:NOASSERTIONStargazers:1Issues:28Issues:0

alt-ergo

SPARK 2014 repository for the Alt-Ergo SMT solver.

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:5Issues:0

lal-refactor

Language:AdaLicense:NOASSERTIONStargazers:1Issues:4Issues:0

sphinxcontrib-adadomain

Language:PythonLicense:NOASSERTIONStargazers:1Issues:30Issues:1

spdx_ada

Language:AdaLicense:Apache-2.0Stargazers:0Issues:3Issues:0