Propietario

AdaCore

35 repositorios indexados · Ver en GitHub

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

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

Ada · 328 estrellas
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK

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

Ada · 286 estrellas
gnat-llvm
LLVM based GNAT compiler

Ada · 239 estrellas
libadalang
Ada semantic analysis library.

Ada · 171 estrellas
aws
AWS is a complete framework to develop Web based applications in Ada.

Ada · 162 estrellas
learn
Sources for learn.adacore.com

Ada · 117 estrellas
gtkada
Ada bindings for the GTK+ graphical library.

Ada · 110 estrellas
langkit
Language creation framework.

Ada · 94 estrellas
gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

Ada · 81 estrellas
bb-runtimes
Source repository for the GNAT Bare Metal BSPs

Ada · 72 estrellas
svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.

Ada · 71 estrellas
ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages

70 estrellas
gnatcoll-core
GNAT Components Collection – Core packages

Ada · 55 estrellas
gnatcoverage
GNATcoverage: Coverage Analysis Tool

Ada · 47 estrellas
e3-core
Core framework for developing portable automated build systems

Python · 32 estrellas
xmlada
The XML/Ada toolkit.

Ada · 30 estrellas
PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards

Ada · 24 estrellas
gpr
The framework for analyzing the GNAT Project (GPR) files

Ada · 21 estrellas
15 repositorios más están en Ver en GitHub

Para principiantes Todo

Abierto Todos

How to create a custom SPARK tasking profile? Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 20/100

AdaCore/spark2014#76 · Abierto el 22/9/2026
Thread_Local_Storage isn't modeled properly in SPARK Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

AdaCore/spark2014#74 · Abierto el 15/9/2026
System'To_Address (-1) doesn't work in SPARK Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 48/100

AdaCore/spark2014#73 · 2 comentarios · Abierto el 15/9/2026
Add ability to have Ghost Tasks Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

AdaCore/spark2014#72 · 3 comentarios · Abierto el 15/9/2026
Standard'Target_Name is wrong Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 25/100

AdaCore/spark2014#70 · 2 comentarios · Abierto el 15/9/2026
[feature] Specifying observed/borrowed object on traversal functions Abierto

enhancement

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

AdaCore/ada-spark-rfcs#256 · 2 comentarios · 1 reacción · Abierto el 15/9/2026
gnatprove ICE: Storage_Error on an iterated component association in an expression function Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

AdaCore/spark2014#69 · 1 comentario · Abierto el 7/9/2026
What is Flare? Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

AdaCore/ada-spark-rfcs#252 · Abierto el 1/9/2026
Support for GObject instance_init in Glib.Object.Initialize_Class_Record Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 55/100

AdaCore/gtkada#71 · Abierto el 27/8/2026
[feature] Flare: mandatory {} delimiters for record aggregates Abierto

enhancement

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

AdaCore/ada-spark-rfcs#245 · Abierto el 20/8/2026
Fatal crashes due to incorrect pointer wrapper in glib's gaction callback Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

AdaCore/gtkada#70 · Abierto el 17/8/2026
Build fails with alire and GNAT 16 Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 48/100

AdaCore/aws#401 · 1 reacción · Abierto el 17/8/2026
gnatprove bug related to Ada Util Log Rolling File Appender Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

AdaCore/spark2014#66 · 2 comentarios · Abierto el 14/8/2026
VMS Filename length Assert breaks build on linux Abierto

AdaCore/xmlada#31 · 1 asignado · Abierto el 6/8/2026
Libgpr fails to compile with FSF GNAT Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100

AdaCore/gprbuild#166 · 1 reacción · Abierto el 3/8/2026
[feature] SPARK_Mode_Enabled Abierto

enhancement

Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100

AdaCore/ada-spark-rfcs#240 · Abierto el 31/7/2026
Possibly outdated Assembly code in STM32.GPIO#Lock_The_Pin Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

AdaCore/Ada_Drivers_Library#482 · 3 comentarios · Abierto el 15/7/2026
Outdated SVD bindings Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

AdaCore/Ada_Drivers_Library#481 · 1 comentario · Abierto el 9/7/2026
[Bug]: Latest version of libadalang is reporting spurious errors in vscode Abierto

bug

AdaCore/ada_language_server#1304 · 4 comentarios · 1 asignado · Abierto el 7/7/2026
svd2ada generates wrong default value for array fields Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

AdaCore/svd2ada#115 · Abierto el 29/6/2026
GNAT Stub invocation issue (2026.2). Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 58/100

AdaCore/gnatstudio#204 · Abierto el 21/6/2026
Upgrade of zlib required to solve compilation warnings due to K&R style Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 58/100

AdaCore/aws#398 · 1 comentario · Abierto el 21/6/2026
Setup fails due to missing directory x86_64-pc-linux-gnu/setup/src Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100

AdaCore/aws#396 · 1 comentario · Abierto el 21/6/2026
[Feature] Add switch to inhibit generating reserved fields Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 48/100

AdaCore/svd2ada#112 · 2 comentarios · Abierto el 17/6/2026
Doesn't compile with LLVM-21.1.8 Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

AdaCore/gnat-llvm#65 · 8 comentarios · Abierto el 10/6/2026
wasi build support? Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

AdaCore/gnat-llvm#64 · Abierto el 6/6/2026
`install` target of the Makefile fails when called with `-j 32` on a machine with many cores Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

AdaCore/gtkada#69 · Abierto el 20/5/2026
[Question] Consider aligning runtime/HAL structure with the embedded Rust ecosystem Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

AdaCore/rust-zynqmp#1 · 1 comentario · Abierto el 18/5/2026
oop-dispatching: Does 'Specialized have an effect without Default_Dispatching_Calls? Abierto

AdaCore/ada-spark-rfcs#219 · 5 comentarios · 1 asignado · Abierto el 11/5/2026
Port the runtime to WCH MCUs Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

AdaCore/bb-runtimes#80 · 2 comentarios · Abierto el 27/4/2026
ORM py script does not handle PK, NOT NULL in column constraints Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100

AdaCore/gnatcoll-db#65 · Abierto el 21/4/2026
[feature] Mutable for .. of iteration with Iterable Abierto

enhancement

Dificultad 5/5 Más de una semana Aptitud para principiantes 45/100

AdaCore/ada-spark-rfcs#209 · 3 comentarios · Abierto el 20/4/2026
Duplicate library files in gnatstudio-2026.2-20260409-x86_64-linux-bin.tar.gz Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 42/100

AdaCore/gnatstudio#202 · 1 reacción · Abierto el 13/4/2026
STM32F4 - CRC implementation faulty Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 48/100

AdaCore/Ada_Drivers_Library#462 · 1 comentario · Abierto el 30/3/2026
Prototype Pollution in @aws-lambda-powertools/parser Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 48/100

AdaCore/aws#395 · Abierto el 26/3/2026
Possible patches and suggestions for packaging on OpenBSD Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

AdaCore/gprbuild#162 · Abierto el 24/3/2026
Proposal: Nanopass compiler support Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

AdaCore/langkit#668 · Abierto el 23/3/2026
Crash (INTERNAL_ERROR_OFF_ON_INVALID_MARKER) on file generated by gnattest Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

AdaCore/gnatformat#8 · Abierto el 16/3/2026
Makefile may destroy gnat_switches.py Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 62/100

AdaCore/gnatstudio#201 · Abierto el 10/3/2026
gnatstudio start: Fatal Python error: init_fs_encoding: failed to get the Python codec of the filesystem encoding Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

AdaCore/gnatstudio#199 · 5 comentarios · Abierto el 10/3/2026
undefined reference to `libintl_bindtextdomain' Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

AdaCore/ada_libfswatch#6 · 1 comentario · Abierto el 10/3/2026
running test: SyntaxError: f-string: unmatched '(' Abierto

Dificultad 1/5 1-3 horas Aptitud para principiantes 45/100

AdaCore/langkit#666 · 3 comentarios · Abierto el 2/3/2026
Can you pls make troubleshooting easier? Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

AdaCore/langkit#664 · Abierto el 2/3/2026
Build failure: liblktlang_support-adalog-main_support.ads:9:34: error: file "liblktlang_adasat.ads" not found Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

AdaCore/langkit#663 · 2 comentarios · Abierto el 1/3/2026
`gprinstall` raises `Constraint_Error` Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 30/100

AdaCore/gprbuild#161 · 1 comentario · Abierto el 26/2/2026
[feature] Allow use of discriminants of unchecked unions in non-executable ghost code Abierto

enhancement

Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100

AdaCore/ada-spark-rfcs#202 · 1 comentario · Abierto el 18/2/2026
Feature Request: Built-in VCS revision support (analogous to GNAT.Compile_Time) Abierto

Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100

AdaCore/gprbuild#160 · Abierto el 16/2/2026
SHA1 Microsoft/AdaCore SAS signature on the Windows installer Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 45/100

AdaCore/gnatstudio#198 · Abierto el 13/2/2026
Build fails on static build with: error: actual for "Container" must be a variable Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 35/100

AdaCore/gpr#17 · 1 comentario · Abierto el 12/2/2026
"timeval" not declared in "Calendar" Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 35/100

AdaCore/gnatcoll-core#111 · 1 comentario · Abierto el 9/2/2026

Mostrando los 100 más recientes

Esta página solo lista lo indexado más recientemente. El filtro avanzado tiene el inventario completo, acotado por lenguaje, dificultad y duración.

Abrir el filtro avanzado

AdaCore

Mostrando los 100 más recientes

Recibe los nuevos issues en tu correo