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
+20 stars
from 397 · score 3.04
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
50 repositories by Attention Score · Aug 6, 2026 – Nov 3, 2026 (UTC)
2.AdaCore / gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
+15 stars
from 519 · score 2.77
3.AdaCore / spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
+15 stars
from 317 · score 2.77
4.mk270 / whitakers-words
William Whitaker's WORDS, a Latin dictionary
+13 stars
from 326 · score 2.64
+10 stars
from 470 · score 2.40
6.AdaCore / ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
+9 stars
from 298 · score 2.30
7.pyjarrett / septum
Context-based code search tool
- septum
- text
- search-in-text
- grep
- grep-like
- grep-search
- +1 more
+7 stars
from 456 · score 2.08
8.zertovitch / hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
- strongly-typed
- ada-library
- +7 more
+7 stars
from 170 · score 2.08
9.joular / powerjoular
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
- software
- joular
- +5 more
+7 stars
from 115 · score 2.08
10.AdaCore / Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
+5 stars
from 282 · score 1.79
11.godunko / adawebpack
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
- ada
+5 stars
from 81 · score 1.79
12.AdaDoom3 / AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
+4 stars
from 283 · score 1.61
13.jrmarino / synth
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
+4 stars
from 271 · score 1.61
14.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
+4 stars
from 164 · score 1.61
+4 stars
from 108 · score 1.61
16.jgrivera67 / HiRTOS
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
+4 stars
from 53 · score 1.61
+3 stars
from 169 · score 1.39
18.rod-chapman / SPARKNaCl
SPARK 2014 re-implementation of the TweetNaCl crypto library
+3 stars
from 136 · score 1.39
19.AdaCore / RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
- parser
- binary-parser
- ada
- spark
- formal-verification
- formal-specification
- +5 more
+3 stars
from 128 · score 1.39
+3 stars
from 13 · score 1.39
+2 stars
from 133 · score 1.10
+2 stars
from 105 · score 1.10
23.docandrew / CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
+2 stars
from 88 · score 1.10
24.AdaCore / gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
+2 stars
from 80 · score 1.10
25.simonjwright / FreeRTOS-Ada
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
- risc-v
- rtos
+2 stars
from 79 · score 1.10
26.AdaCore / gnatcoll-core
GNAT Components Collection – Core packages
+2 stars
from 54 · score 1.10
27.lasp / adamant
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
- fsw
- safety-critical
+2 stars
from 49 · score 1.10
+2 stars
from 48 · score 1.10
+2 stars
from 36 · score 1.10
30.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 35 · score 1.10
31.LionelDraghi / bbt
Simple to use cross-platform BDD driver for black box testing
+2 stars
from 27 · score 1.10
32.stcarrez / ada-awa
Ada Web Application - Framework to build high performance secure web applications
- web-framework
- ada
- database
- orm
- https-server
- rest-framework
- +1 more
+1 stars
from 112 · score 0.69
33.stcarrez / ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
- json
- beans
- +1 more
+1 stars
from 83 · score 0.69
34.AdaCore / bb-runtimes
Source repository for the GNAT Bare Metal BSPs
+1 stars
from 71 · score 0.69
35.OneWingedShark / Byron
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
+1 stars
from 66 · score 0.69
+1 stars
from 47 · score 0.69
+1 stars
from 37 · score 0.69
38.ellamosi / gade
A Game Boy emulation library in Ada
+1 stars
from 32 · score 0.69
39.zertovitch / lea
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
- auto-complete
- autocomplete
- +2 more
+1 stars
from 32 · score 0.69
40.stcarrez / ada-enet
Ada Embedded Network Stack
+1 stars
from 26 · score 0.69
41.zertovitch / gwindows
GWindows: GUI framework for MS Windows and Winelib
- ada
- ada-language
- windows
- gui-framework
- ada-library
+1 stars
from 26 · score 0.69
+1 stars
from 25 · score 0.69
43.fastrgv / AdaGate
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
+1 stars
from 24 · score 0.69
44.AdaCore / PolyORB
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
+1 stars
from 23 · score 0.69
+1 stars
from 18 · score 0.69
+1 stars
from 12 · score 0.69
+1 stars
from 9 · score 0.69
+1 stars
from 9 · score 0.69
49.fastrgv / RetroArcade
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
+1 stars
from 6 · score 0.69
50.CKWG / SI_Units-Checked-and-Unchecked
Ada packages for handling SI units of measure
+1 stars
from 4 · score 0.69