Movatterモバイル変換

training_material Public
AdaCore/training_material’s past year of commit activity
Ada 24CC-BY-4.0 9 1 90 UpdatedMar 20, 2025
spdx_ada Public
AdaCore/spdx_ada’s past year of commit activity
Ada0Apache-2.00 0 0 UpdatedMar 20, 2025
bb-runtimes Public
Source repository for the GNAT Bare Metal BSPs
AdaCore/bb-runtimes’s past year of commit activity
Ada 68 53 2 3 UpdatedMar 20, 2025
gpr Public
The framework for analyzing the GNAT Project (GPR) files
AdaCore/gpr’s past year of commit activity
Ada 18Apache-2.0 9 2 0 UpdatedMar 20, 2025
ada_language_server Public
Server implementing the Microsoft Language Protocol for Ada and SPARK
AdaCore/ada_language_server’s past year of commit activity
Ada 253GPL-3.0 63 47 (3 issues need help) 1 UpdatedMar 20, 2025
gnatstudio Public
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
AdaCore/gnatstudio’s past year of commit activity
Ada 438 56 42 (1 issue needs help) 5 UpdatedMar 19, 2025
gnatdoc Public
GNAT Documentation Generator
AdaCore/gnatdoc’s past year of commit activity
Ada 3 1 3 1 UpdatedMar 20, 2025
gnatcoverage Public
GNATcoverage: Coverage Analysis Tool
AdaCore/gnatcoverage’s past year of commit activity
Ada 41 10 5 0 UpdatedMar 19, 2025
langkit-query-language Public
query language for Libadalang and Langkit
AdaCore/langkit-query-language’s past year of commit activity
Ada 5 6 1 1 UpdatedMar 20, 2025
langkit Public
Language creation framework.
AdaCore/langkit’s past year of commit activity
Ada 81 35 2 4 UpdatedMar 19, 2025