Owner
AdaCore
35 indexierte Repositories · Auf GitHub ansehen
-
gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
Ada · 531 Sterne
-
spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applicat...
Ada · 328 Sterne
-
ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
Ada · 304 Sterne
-
Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
Ada · 286 Sterne
-
gnat-llvm
LLVM based GNAT compiler
Ada · 239 Sterne
-
libadalang
Ada semantic analysis library.
Ada · 171 Sterne
-
aws
AWS is a complete framework to develop Web based applications in Ada.
Ada · 162 Sterne
-
learn
Sources for learn.adacore.com
Ada · 117 Sterne
-
gtkada
Ada bindings for the GTK+ graphical library.
Ada · 110 Sterne
-
langkit
Language creation framework.
Ada · 94 Sterne
-
gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Ada · 81 Sterne
-
bb-runtimes
Source repository for the GNAT Bare Metal BSPs
Ada · 72 Sterne
-
svd2ada
An Ada binding generator from SVD descriptions for bare board ARM devices.
Ada · 71 Sterne
-
ada-spark-rfcs
Platform to submit RFCs for the Ada & SPARK languages
70 Sterne
-
gnatcoll-core
GNAT Components Collection – Core packages
Ada · 55 Sterne
-
gnatcoverage
GNATcoverage: Coverage Analysis Tool
Ada · 47 Sterne
-
e3-core
Core framework for developing portable automated build systems
Python · 32 Sterne
-
xmlada
The XML/Ada toolkit.
Ada · 30 Sterne
-
PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Ada · 24 Sterne
-
gpr
The framework for analyzing the GNAT Project (GPR) files
Ada · 21 Sterne
- 15 weitere Repositories liegen auf Auf GitHub ansehen
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
AdaCore/ada-spark-rfcs#256 · 2 Kommentare · 1 Reaktion ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100
-
What is Flare? Offen
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100
AdaCore/ada-spark-rfcs#252 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 55/100
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
AdaCore/ada-spark-rfcs#245 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100
AdaCore/ada-spark-rfcs#240 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
AdaCore/Ada_Drivers_Library#482 · 3 Kommentare ·
-
Outdated SVD bindings Offen
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
AdaCore/Ada_Drivers_Library#481 · 1 Kommentar ·
-
bug
AdaCore/ada_language_server#1304 · 4 Kommentare · 1 zugewiesene Person ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 68/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 58/100
AdaCore/gnatstudio#204 ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 58/100
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
wasi build support? Offen
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
AdaCore/rust-zynqmp#1 · 1 Kommentar ·
-
AdaCore/ada-spark-rfcs#219 · 5 Kommentare · 1 zugewiesene Person ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100
AdaCore/bb-runtimes#80 · 2 Kommentare ·
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100
AdaCore/gnatcoll-db#65 ·
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 45/100
AdaCore/ada-spark-rfcs#209 · 3 Kommentare ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 42/100
AdaCore/gnatstudio#202 · 1 Reaktion ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100
AdaCore/Ada_Drivers_Library#462 · 1 Kommentar ·
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
AdaCore/gnatformat#8 ·
-
Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 62/100
AdaCore/gnatstudio#201 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100
AdaCore/gnatstudio#199 · 5 Kommentare ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
AdaCore/ada_libfswatch#6 · 1 Kommentar ·
-
Schwierigkeit 1/5 1-3 Stunden Anfängerfreundlichkeit 45/100
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100
-
enhancement
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100
AdaCore/ada-spark-rfcs#202 · 1 Kommentar ·
-
Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 45/100
AdaCore/gnatstudio#198 ·
-
Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100
-
Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100
AdaCore/gnatcoll-core#111 · 1 Kommentar ·
Die neuesten 100 werden angezeigt
Diese Seite listet nur das zuletzt Erfasste. Der vollständige Bestand steht im erweiterten Filter, eingegrenzt nach Sprache, Schwierigkeit und Aufwand.