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
-
Ada · 21 stars
-
libadalang-tools
Libadalang-based tools
Ada · 20 stars
- 9 more repositories live on View on GitHub
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
-
Difficulty 3/5 1-2 days Newbie friendliness 48/100
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
-
Difficulty 4/5 3-5 days Newbie friendliness 25/100
-
enhancement
Difficulty 5/5 Over a week Newbie friendliness 35/100
AdaCore/ada-spark-rfcs#256 · 2 comments · 1 reaction ·
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
What is Flare? Open
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
AdaCore/ada-spark-rfcs#252 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 55/100
-
enhancement
Difficulty 5/5 Over a week Newbie friendliness 35/100
AdaCore/ada-spark-rfcs#245 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 68/100
-
Difficulty 4/5 3-5 days Newbie friendliness 48/100
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
enhancement
Difficulty 5/5 Over a week Newbie friendliness 35/100
AdaCore/ada-spark-rfcs#240 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
AdaCore/Ada_Drivers_Library#482 · 3 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
AdaCore/Ada_Drivers_Library#481 · 1 comment ·
-
bug
AdaCore/ada_language_server#1304 · 4 comments · 1 assignee ·
-
Difficulty 3/5 1-2 days Newbie friendliness 68/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 58/100
AdaCore/gnatstudio#204 ·
-
Difficulty 3/5 1-2 days Newbie friendliness 58/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
-
Difficulty 3/5 1-2 days Newbie friendliness 48/100
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
wasi build support? Open
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
-
AdaCore/ada-spark-rfcs#219 · 5 comments · 1 assignee ·
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
AdaCore/bb-runtimes#80 · 2 comments ·
-
enhancement
Difficulty 5/5 Over a week Newbie friendliness 45/100
AdaCore/ada-spark-rfcs#209 · 3 comments ·
-
Difficulty 3/5 1-2 days Newbie friendliness 42/100
AdaCore/gnatstudio#202 · 1 reaction ·
-
Difficulty 3/5 1-2 days Newbie friendliness 48/100
AdaCore/Ada_Drivers_Library#462 · 1 comment ·
-
Difficulty 3/5 1-2 days Newbie friendliness 48/100
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
AdaCore/gnatformat#8 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 62/100
AdaCore/gnatstudio#201 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
AdaCore/gnatstudio#199 · 5 comments ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
AdaCore/ada_libfswatch#6 · 1 comment ·
-
Difficulty 1/5 1-3 hours Newbie friendliness 45/100
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
-
enhancement
Difficulty 5/5 Over a week Newbie friendliness 30/100
AdaCore/ada-spark-rfcs#202 · 1 comment ·
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
AdaCore/gnatstudio#198 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
AdaCore/gnatcoll-core#111 · 1 comment ·
-
enhancement
AdaCore/ada-spark-rfcs#198 · 4 comments · 1 assignee ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 42/100
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
AdaCore/libadalang#979 ·
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
-
Difficulty 4/5 3-5 days Newbie friendliness 38/100
-
Difficulty 4/5 3-5 days Newbie friendliness 25/100
AdaCore/ada_language_server#1293 · 7 comments · 1 reaction ·
-
AdaCore/gnatcoll-core#108 · 1 comment · 1 assignee ·
-
Difficulty 4/5 3-5 days Newbie friendliness 45/100
AdaCore/gnatstudio#197 ·
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.