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
+6 stars
from 411 · score 1.95
Trending repositories
Ranked by Attention Score: stars gained over the last 30 complete days
31 repositories by Attention Score · Oct 5, 2026 – Nov 3, 2026 (UTC)
2.AdaCore / gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
+5 stars
from 529 · score 1.79
3.AdaCore / ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
+5 stars
from 302 · score 1.79
4.AdaCore / spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
+4 stars
from 328 · score 1.61
5.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
+3 stars
from 174 · score 1.39
6.jgrivera67 / HiRTOS
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
+3 stars
from 54 · score 1.39
+2 stars
from 478 · score 1.10
8.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
+2 stars
from 129 · score 1.10
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
+2 stars
from 120 · score 1.10
10.godunko / adawebpack
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
- ada
+2 stars
from 84 · score 1.10
11.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
12.pyjarrett / septum
Context-based code search tool
- septum
- text
- search-in-text
- grep
- grep-like
- grep-search
- +1 more
+1 stars
from 462 · score 0.69
13.mk270 / whitakers-words
William Whitaker's WORDS, a Latin dictionary
+1 stars
from 338 · score 0.69
14.AdaCore / Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
+1 stars
from 286 · score 0.69
15.jrmarino / synth
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
+1 stars
from 274 · score 0.69
+1 stars
from 171 · score 0.69
17.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
+1 stars
from 111 · score 0.69
+1 stars
from 106 · score 0.69
20.docandrew / CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
+1 stars
from 89 · score 0.69
21.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
22.AdaCore / gprbuild
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
+1 stars
from 81 · score 0.69
23.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
+1 stars
from 80 · score 0.69
24.lasp / adamant
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
- fsw
- safety-critical
+1 stars
from 50 · score 0.69
+1 stars
from 49 · score 0.69
26.AdaCore / CertyflieArchived
No description provided by the repository host.
+1 stars
from 37 · score 0.69
27.ellamosi / gade
A Game Boy emulation library in Ada
+1 stars
from 32 · score 0.69
28.coreboot / libgfxinit
Read-only mirror of https://review.sourcearcade.org/admin/repos/libgfxinit,general. We don't handle pull requests.
+1 stars
from 27 · score 0.69
+1 stars
from 9 · score 0.69
+1 stars
from 7 · score 0.69
31.CKWG / SI_Units-Checked-and-Unchecked
Ada packages for handling SI units of measure
+1 stars
from 4 · score 0.69