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

Beginner friendly Everything

Open All

gnatpp not available on FreeBSD OS. Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

AdaCore/libadalang-tools#44 · Opened Dec 31, 2025
GNATprove miscomputes Global aspect for generic formal parameter Open

Difficulty 4/5 3-5 days Newbie friendliness 45/100

AdaCore/spark2014#62 · 1 comment · Opened Dec 29, 2025
Freebsd not supported ? Open

Difficulty 4/5 3-5 days Newbie friendliness 30/100

AdaCore/gtkada#68 · Opened Dec 28, 2025
Unable to Build on MacOS Open

AdaCore/libadalang#978 · 2 comments · 1 assignee · Opened Dec 24, 2025
[v26.0.0] The binding to the Zstd library fails to build. Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

AdaCore/gnatcoll-bindings#22 · Opened Dec 23, 2025
Documentation to build gnatdoc Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

AdaCore/gnatdoc#37 · Opened Dec 22, 2025
Invalid bracket encoding reported when using square brackets around strings Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

AdaCore/libadalang#977 · 1 comment · Opened Dec 18, 2025
`gnatformat` removes space between attribute and argument list (e.g., `'Length (1)`) Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

AdaCore/gnatformat#7 · Opened Nov 26, 2025
'Run' view shows incomplete output when program is terminated due to exception Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

AdaCore/gnatstudio#196 · Opened Nov 26, 2025
[feature] Mandatory end designator Open

enhancement

AdaCore/ada-spark-rfcs#177 · 7 comments · 1 assignee · Opened Nov 6, 2025
[feature] Pure functions Open

enhancement STAT::proposed

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#176 · 3 comments · Opened Nov 6, 2025
Feature request: add possibility to override the .gnatstudio folder name. Open

Difficulty 4/5 3-5 days Newbie friendliness 35/100

AdaCore/gnatstudio#194 · 1 reaction · Opened Oct 18, 2025
[feature] Ghost blocks Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#171 · 2 comments · Opened Sep 26, 2025
[Enhancement]: Make the Ada Language Server automatically SPARK‑aware Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada_language_server#1277 · 3 comments · Opened Sep 25, 2025
[feature] OOP - Aggregates and assignments Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#170 · 6 comments · Opened Sep 25, 2025
doinstall doesn't work Open

Difficulty 3/5 1-2 days Newbie friendliness 25/100

AdaCore/gtkada#67 · Opened Sep 16, 2025
[feature] Import Array from Address Open

enhancement STAT::proposed

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#169 · Opened Sep 15, 2025
[feature] Referring to values at labels Open

enhancement STAT::design

Difficulty 5/5 Over a week Newbie friendliness 30/100

AdaCore/ada-spark-rfcs#164 · 16 comments · Opened Sep 1, 2025
[feature] Proposal for a ghost Loop_Index attribute Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#163 · 6 comments · Opened Aug 29, 2025
[feature] Class types and primitives Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 15/100

AdaCore/ada-spark-rfcs#162 · Opened Aug 29, 2025
[feature] Ghost fields and parameters Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 10/100

AdaCore/ada-spark-rfcs#161 · Opened Aug 29, 2025
[feature] OOP - Protected Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 10/100

AdaCore/ada-spark-rfcs#160 · Opened Aug 29, 2025
[feature] OOP Attributes Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#159 · Opened Aug 29, 2025
[feature] OOP Components Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 10/100

AdaCore/ada-spark-rfcs#158 · Opened Aug 29, 2025
[feature] OOP - Dispatching Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 10/100

AdaCore/ada-spark-rfcs#157 · Opened Aug 29, 2025
[feature] finally for handled_sequence_of_statements Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#156 · Opened Aug 29, 2025
[feature] improved generic instantiations Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#155 · Opened Aug 29, 2025
[feature] constrained indefinite arrays Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#154 · Opened Aug 29, 2025
[feature] Final modifier Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#153 · Opened Aug 29, 2025
[feature] Class wide subtype constraints Open

enhancement STAT::proposed

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#152 · Opened Aug 29, 2025
[feature] Adjust_Indexing aspect Open

enhancement RFC STAT::proposed syntax

Difficulty 5/5 Over a week Newbie friendliness 15/100

AdaCore/ada-spark-rfcs#151 · Opened Aug 27, 2025
[feature] Overriding_Interface_In_Child_Package Open

enhancement STAT::proposed

Difficulty 5/5 Over a week Newbie friendliness 20/100

AdaCore/ada-spark-rfcs#150 · Opened Aug 27, 2025
[feature] Deferred Partial Instantiation of Generic Specifications Open

enhancement generics RFC

Difficulty 5/5 Over a week Newbie friendliness 15/100

AdaCore/ada-spark-rfcs#149 · Opened Aug 27, 2025
[feature] Lightweight iterators Open

enhancement iterators RFC syntax

Difficulty 5/5 Over a week Newbie friendliness 15/100

AdaCore/ada-spark-rfcs#148 · Opened Aug 27, 2025
[feature] case statement with renamed type values Open

enhancement quality of life RFC syntax

Difficulty 5/5 Over a week Newbie friendliness 20/100

AdaCore/ada-spark-rfcs#147 · Opened Aug 27, 2025
[feature] Default initialization for out parameters Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#146 · Opened Aug 27, 2025
[feature] Generic subtype formals Open

enhancement generics RFC STAT::proposed

Difficulty 5/5 Over a week Newbie friendliness 20/100

AdaCore/ada-spark-rfcs#145 · Opened Aug 19, 2025
[feature] Simple return by reference syntax Open

accessibility enhancement RFC

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#143 · 1 comment · Opened Aug 19, 2025
[feature] Constant range indexing Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#142 · Opened Aug 19, 2025
[feature] Indexing/iteration aspects on unbounded strings Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 20/100

AdaCore/ada-spark-rfcs#141 · 1 comment · Opened Aug 19, 2025
[feature] Array Slice Access Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 25/100

AdaCore/ada-spark-rfcs#140 · Opened Aug 18, 2025
[feature] Aspect Modifies Open

enhancement STAT::ready-for-prototyping

Difficulty 5/5 Over a week Newbie friendliness 20/100

AdaCore/ada-spark-rfcs#139 · Opened Aug 18, 2025
[feature] Multiple Ghost levels Open

enhancement

Difficulty 5/5 Over a week Newbie friendliness 20/100

AdaCore/ada-spark-rfcs#138 · Opened Aug 18, 2025
The RTS prefixes for the board project files should be renamed. Open

Difficulty 2/5 1-3 hours Newbie friendliness 58/100

AdaCore/Ada_Drivers_Library#447 · 1 reaction · Opened Aug 14, 2025
Gnat Studio doesn't detect AWS Open

Difficulty 4/5 3-5 days Newbie friendliness 25/100

AdaCore/aws#393 · 1 comment · Opened Aug 7, 2025
Error when Ada domain is used without Libadalang Open

bug

AdaCore/sphinxcontrib-adadomain#10 · 1 comment · 1 assignee · Opened Jul 22, 2025
gnattest: Generates invalid code Open

Difficulty 3/5 1-2 days Newbie friendliness 35/100

AdaCore/libadalang-tools#43 · Opened Jul 12, 2025
[Bug]: lsp-utils.adb:205:42: error: "Bytes_Buffer" not declared in "Common" Open

bug

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

AdaCore/ada_language_server#1252 · 2 comments · Opened Jul 12, 2025
Add support for GNATdoc command-line options in GPR project files Open

Difficulty 5/5 Over a week Newbie friendliness 35/100

AdaCore/gnatdoc#33 · Opened Jul 5, 2025
GNATtest: Superfluous space character in generated Wrap_Test_SIG subprogram body Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

AdaCore/libadalang-tools#41 · Opened Jun 27, 2025

Showing the newest 100

This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.

Open advanced filter

AdaCore

Showing the newest 100

Get new issues in your inbox