1.alire-project / alire
Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
- package-management
- reproducible-builds
+3 stars
from 415 · score 1.39
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
14 repositories by Attention Score · Oct 29, 2026 – Nov 4, 2026 (UTC)
2.rod-chapman / SPARKNaCl
SPARK 2014 re-implementation of the TweetNaCl crypto library
+2 stars
from 139 · score 1.10
3.zertovitch / zip-ada
Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
- ada
- ada-language
- zip
- zip-archive
- ada-library
- compression-library
- +8 more
+2 stars
from 36 · score 1.10
4.AdaCore / gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
+1 stars
from 534 · score 0.69
+1 stars
from 479 · score 0.69
6.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
7.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
- formal-verification
- formal-methods
- formal-specification
- ada
+1 stars
from 167 · score 0.69
8.joular / powerjoular
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
- software
- joular
- +5 more
+1 stars
from 121 · score 0.69
+1 stars
from 106 · score 0.69
10.godunko / adawebpack
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
- ada
+1 stars
from 85 · score 0.69
11.simonjwright / analytical-engine
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
+1 stars
from 15 · 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
14.moriyasum / OpenAL_GtkAda_GUI_Doppler_Effect_Plane_1
GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.
+1 stars
from 2 · score 0.69