Propriétaire
AdaCore
35 dépôts indexés · Voir sur GitHub
-
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Ada · 531 étoiles
-
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat...
Ada · 328 étoiles
-
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada · 304 étoiles
-
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Ada · 286 étoiles
-
gnat-llvm
LLVM based GNAT compiler
Ada · 239 étoiles
-
libadalang
Ada semantic analysis library.
Ada · 171 étoiles
-
aws
AWS is a complete framework to develop Web based applications in Ada.
Ada · 162 étoiles
-
learn
Sources for learn.adacore.com
Ada · 117 étoiles
-
gtkada
Ada bindings for the GTK+ graphical library.
Ada · 110 étoiles
-
langkit
Language creation framework.
Ada · 94 étoiles
-
gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Ada · 81 étoiles
-
bb-runtimes
Source repository for the GNAT Bare Metal BSPs
Ada · 72 étoiles
-
svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.
Ada · 71 étoiles
-
ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
70 étoiles
-
gnatcoll-core
GNAT Components Collection – Core packages
Ada · 55 étoiles
-
gnatcoverage
GNATcoverage: Coverage Analysis Tool
Ada · 47 étoiles
-
e3-core
Core framework for developing portable automated build systems
Python · 32 étoiles
-
xmlada
The XML/Ada toolkit.
Ada · 30 étoiles
-
PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Ada · 24 étoiles
-
gpr
The framework for analyzing the GNAT Project (GPR) files
Ada · 21 étoiles
- 15 autres dépôts se trouvent sur Voir sur GitHub
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
-
Difficulté 3/5 1-2 jours Accessibilité débutants 48/100
-
Add ability to have Ghost Tasks Ouverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100
-
Standard'Target_Name is wrong Ouverte
Difficulté 4/5 3-5 jours Accessibilité débutants 25/100
-
enhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
AdaCore/ada-spark-rfcs#256 · 2 commentaires · 1 réaction ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 45/100
-
What is Flare? Ouverte
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
AdaCore/ada-spark-rfcs#252 ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 55/100
-
enhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
AdaCore/ada-spark-rfcs#245 ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 68/100
-
Difficulté 4/5 3-5 jours Accessibilité débutants 48/100
-
Difficulté 4/5 3-5 jours Accessibilité débutants 45/100
-
Difficulté 2/5 1-3 heures Accessibilité débutants 76/100
-
[feature] SPARK_Mode_Enabled Ouverteenhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100
AdaCore/ada-spark-rfcs#240 ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
AdaCore/Ada_Drivers_Library#482 · 3 commentaires ·
-
Outdated SVD bindings Ouverte
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
AdaCore/Ada_Drivers_Library#481 · 1 commentaire ·
-
bug
AdaCore/ada_language_server#1304 · 4 commentaires · 1 personne assignée ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 68/100
-
Difficulté 2/5 1-3 heures Accessibilité débutants 58/100
AdaCore/gnatstudio#204 ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 58/100
-
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
-
Difficulté 3/5 1-2 jours Accessibilité débutants 48/100
-
Doesn't compile with LLVM-21.1.8 Ouverte
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
-
wasi build support? Ouverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
-
`install` target of the Makefile fails when called with `-j 32` on a machine with many cores Ouverte
Difficulté 3/5 1-2 jours Accessibilité débutants 35/100
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
AdaCore/rust-zynqmp#1 · 1 commentaire ·
-
AdaCore/ada-spark-rfcs#219 · 5 commentaires · 1 personne assignée ·
-
Port the runtime to WCH MCUs Ouverte
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100
AdaCore/bb-runtimes#80 · 2 commentaires ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
AdaCore/gnatcoll-db#65 ·
-
enhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 45/100
AdaCore/ada-spark-rfcs#209 · 3 commentaires ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 42/100
AdaCore/gnatstudio#202 · 1 réaction ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 48/100
AdaCore/Ada_Drivers_Library#462 · 1 commentaire ·
-
Difficulté 3/5 1-2 jours Accessibilité débutants 48/100
-
Difficulté 4/5 3-5 jours Accessibilité débutants 45/100
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
-
Difficulté 3/5 1-2 jours Accessibilité débutants 45/100
AdaCore/gnatformat#8 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 62/100
AdaCore/gnatstudio#201 ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 45/100
AdaCore/gnatstudio#199 · 5 commentaires ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
AdaCore/ada_libfswatch#6 · 1 commentaire ·
-
Difficulté 1/5 1-3 heures Accessibilité débutants 45/100
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
-
Difficulté 3/5 1-2 jours Accessibilité débutants 45/100
-
Difficulté 4/5 3-5 jours Accessibilité débutants 30/100
-
enhancement
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100
AdaCore/ada-spark-rfcs#202 · 1 commentaire ·
-
Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100
-
Difficulté 3/5 1-2 jours Accessibilité débutants 45/100
AdaCore/gnatstudio#198 ·
-
Difficulté 4/5 3-5 jours Accessibilité débutants 35/100
-
Difficulté 3/5 1-2 jours Accessibilité débutants 35/100
AdaCore/gnatcoll-core#111 · 1 commentaire ·
Affichage des 100 plus récents
Cette page ne liste que les entrées les plus récentes. Le filtre avancé contient l'inventaire complet, affiné par langage, difficulté et durée.