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:Ada241 58 110142
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Language:Ada230 36 19754
aws
AWS is a complete framework to develop Web based applications in Ada.
Language:Ada127 35 7737
gnat-llvm
LLVM based GNAT compiler
Language:Ada183 25 4318
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Language:Ada402 50 16453
gsh
A POSIX shell for Windows.
Language:C103 10 1410
learn
Sources for learn.adacore.com
Language:Ada92 29 14638
libadalang
Ada semantic analysis library.
Language:Ada146 39 13942
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Language:Ada104 11 7916
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Language:Ada246 47 3634

AdaCore's Repositories

AdaCore/gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Language:Ada402 50 16453
AdaCore/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Language:Ada246 47 3634
AdaCore/ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Language:Ada230 36 19754
AdaCore/gnat-llvm
LLVM based GNAT compiler
Language:Ada183 25 4318
AdaCore/libadalang
Ada semantic analysis library.
Language:Ada146 39 13942
AdaCore/aws
AWS is a complete framework to develop Web based applications in Ada.
Language:Ada127 35 7737
AdaCore/RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Language:Ada104 11 7916
AdaCore/learn
Sources for learn.adacore.com
Language:Ada92 29 14638
AdaCore/gtkada
Ada bindings for the GTK+ graphical library.
Language:Ada88 17 4319
AdaCore/langkit
Language creation framework.
Language:Python79 33 2935
AdaCore/ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
63 58 3328
AdaCore/gnatcoverage
GNATcoverage: Coverage Analysis Tool
Language:Ada36 9 169
AdaCore/startup-gen
A startup code generator for embedded projects
Language:Ada28 33 59
AdaCore/e3-core
Core framework for developing portable automated build systems
Language:Python26 16 8036
AdaCore/training_material
Language:Ada20 30 37
AdaCore/libadalang-tools
Libadalang-based tools
Language:Ada16 9 2813
AdaCore/markdown
Markdown parser
Language:Ada9 28 02
AdaCore/aunit
Language:Ada7 29 1217
AdaCore/e3-testsuite
e3 testsuite driver
Language:Python6 28 517
AdaCore/florist
Language:Ada6 32 53
AdaCore/AdaSAT
Language:Ada4 3 11
AdaCore/wposix
Ada Windows POSIX binding
Language:Ada4 4 03
AdaCore/langkit-query-language
query language for Libadalang and Langkit
Language:Ada3 28 16
AdaCore/gnatdoc
GNAT Documentation Generator
Language:Ada2 27 41
AdaCore/training_labs_solar_system
Language:Ada1 4 0
AdaCore/uwrap
Language:Ada1 25 91
AdaCore/z3
SPARK 2014 repository for the Z3 SMT solver.
Language:C++1 6 04
AdaCore/cvc5
SPARK 2014 repository for the CVC4 SMT solver.
Language:SMT0 7 05
AdaCore/lal-refactor
Language:Ada0 4 01
AdaCore/gnatformat
Language:Ada