Owner

AdaCore

29 indexed repositories · View on GitHub

• gnatstudio

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

  Ada · 531 stars

• spark2014

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

  Ada · 328 stars

• ada_language_server

  Server implementing the Microsoft Language Protocol for Ada and SPARK

  Ada · 304 stars

• Ada_Drivers_Library

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

  Ada · 286 stars

• gnat-llvm

  LLVM based GNAT compiler

  Ada · 239 stars

• libadalang

  Ada semantic analysis library.

  Ada · 171 stars

• aws

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

  Ada · 162 stars

• learn

  Sources for learn.adacore.com

  Ada · 117 stars

• gtkada

  Ada bindings for the GTK+ graphical library.

  Ada · 110 stars

• langkit

  Language creation framework.

  Ada · 94 stars

• bb-runtimes

  Source repository for the GNAT Bare Metal BSPs

  Ada · 72 stars

• svd2ada

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

  Ada · 71 stars

• ada-spark-rfcs

  Platform to submit RFCs for the Ada & SPARK languages

  70 stars

• gnatcoll-core

  GNAT Components Collection – Core packages

  Ada · 55 stars

• gnatcoverage

  GNATcoverage: Coverage Analysis Tool

  Ada · 47 stars

• e3-core

  Core framework for developing portable automated build systems

  Python · 32 stars

• PolyORB

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

  Ada · 24 stars

• gpr

  The framework for analyzing the GNAT Project (GPR) files

  Ada · 21 stars

• gnatformat

  Ada · 21 stars

• libadalang-tools

  Libadalang-based tools

  Ada · 20 stars

• 9 more repositories live on View on GitHub