1.AdaCore / gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
+1 stars
from 533 · score 0.69
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
13 repositories by Attention Score · Oct 27, 2026 – Nov 2, 2026 (UTC)
+1 stars
from 478 · score 0.69
3.alire-project / alire
Command-line tool from the Alire project and supporting library
+1 stars
from 415 · score 0.69
4.AdaCore / spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
+1 stars
from 331 · score 0.69
5.tofgarion / spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
+1 stars
from 167 · score 0.69
6.joular / powerjoular
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
+1 stars
from 121 · score 0.69
7.flyx / OpenGLAda
Thick Ada binding for OpenGL and GLFW
+1 stars
from 106 · score 0.69
8.godunko / adawebpack
Ada WASM Runtime and Bindings for Web API
+1 stars
from 85 · score 0.69
9.lasp / adamant
A model-based flight software framework for Ada
+1 stars
from 50 · score 0.69
10.simonjwright / analytical-engine
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
+1 stars
from 15 · score 0.69
11.jhumphry / parse_args
An Ada 2012 package to parse command line arguments and options
+1 stars
from 12 · score 0.69
+1 stars
from 5 · score 0.69
13.CKWG / SI_Units-Checked-and-Unchecked
Ada packages for handling SI units of measure
+1 stars
from 4 · score 0.69