1.pyjarrett / septum
Context-based code search tool
- septum
- text
- search-in-text
- grep
- grep-like
- grep-search
- +1 more
+68 stars
from 395 · score 4.23
Trending repositories
Ranked by Attention Score: stars gained over the last 180 complete days
56 repositories by Attention Score · May 7, 2026 – Nov 2, 2026 (UTC)
2.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
+43 stars
from 373 · score 3.78
3.AdaCore / gnatstudio
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
+35 stars
from 499 · score 3.58
4.AdaCore / spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
+29 stars
from 303 · score 3.40
+26 stars
from 453 · score 3.30
6.mk270 / whitakers-words
William Whitaker's WORDS, a Latin dictionary
+25 stars
from 314 · score 3.26
7.AdaCore / ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
+17 stars
from 290 · score 2.89
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
+16 stars
from 161 · score 2.83
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
+16 stars
from 106 · score 2.83
10.godunko / adawebpack
Ada WASM Runtime and Bindings for Web API
- wasm
- gnat-llvm
- ada-runtime
- ada-wasm-runtime
- ada
+10 stars
from 76 · score 2.40
11.AdaCore / Ada_Drivers_Library
Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
+9 stars
from 278 · score 2.30
+9 stars
from 103 · score 2.30
13.jgrivera67 / HiRTOS
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
+9 stars
from 48 · score 2.30
14.AdaDoom3 / AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
+8 stars
from 279 · score 2.20
15.jrmarino / synth
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
+7 stars
from 268 · score 2.08
16.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
+6 stars
from 125 · score 1.95
17.lasp / adamant
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
- fsw
- safety-critical
+5 stars
from 46 · score 1.79
+4 stars
from 168 · score 1.61
19.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
20.rod-chapman / SPARKNaCl
SPARK 2014 re-implementation of the TweetNaCl crypto library
+4 stars
from 135 · score 1.61
21.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
+4 stars
from 109 · score 1.61
22.docandrew / CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
+4 stars
from 86 · score 1.61
+4 stars
from 46 · score 1.61
+4 stars
from 12 · score 1.61
+3 stars
from 132 · score 1.39
+3 stars
from 104 · score 1.39
27.AdaCore / gnatcoll-core
GNAT Components Collection – Core packages
+3 stars
from 53 · score 1.39
28.zertovitch / lea
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
- auto-complete
- autocomplete
- +2 more
+3 stars
from 30 · score 1.39
29.fastrgv / RetroArcade
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
+3 stars
from 4 · score 1.39
30.stcarrez / ada-util
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
- json
- beans
- +1 more
+2 stars
from 82 · score 1.10
31.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
32.wookey-project / ewok-kernel
A secure and high performances microkernel for building secure MCU-based IoTs
- ada
- microkernel
- embedded
- security
- microcontroller
- microcontroller-firmware
- +5 more
+2 stars
from 77 · score 1.10
33.AdaCore / bb-runtimes
Source repository for the GNAT Bare Metal BSPs
+2 stars
from 70 · score 1.10
34.OneWingedShark / Byron
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
+2 stars
from 65 · score 1.10
35.gabriele-galeotti / SweetAda
Ada-language framework
+2 stars
from 51 · score 1.10
+2 stars
from 46 · score 1.10
37.LionelDraghi / bbt
Simple to use cross-platform BDD driver for black box testing
+2 stars
from 27 · score 1.10
38.HonkiTonk / Honki-Tonks-Zivilisationen
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
- ada
- civilization
- learning-by-doing
- learning
- game-2d
- game-development
- +12 more
+2 stars
from 21 · score 1.10
+2 stars
from 10 · score 1.10
+2 stars
from 4 · score 1.10
41.CKWG / SI_Units-Checked-and-Unchecked
Ada packages for handling SI units of measure
+2 stars
from 3 · score 1.10
42.OpenAADL / ocarina
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
+1 stars
from 76 · score 0.69
43.mgrojo / ASFML
Ada binding to the SFML library
+1 stars
from 42 · score 0.69
44.damaki / libkeccak
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
- shake128
- shake256
- +11 more
+1 stars
from 39 · score 0.69
45.SMerrony / dasheraArchived
DasherA is a Data General DASHER D200/D210 terminal emulator
- ada
- gtk
- telnet
- terminal-emulator
- dg
- serial-communication
- +4 more
+1 stars
from 38 · score 0.69
+1 stars
from 37 · score 0.69
47.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
+1 stars
from 35 · score 0.69
48.ellamosi / gade
A Game Boy emulation library in Ada
+1 stars
from 32 · score 0.69
+1 stars
from 29 · score 0.69
50.RavSS / HAVK
An attempt at a minimalistic and secure operating system.
- ada
- osdev
- operating-system
- kernel
- security
- spark-ada
+1 stars
from 28 · score 0.69
+1 stars
from 18 · score 0.69
+1 stars
from 17 · score 0.69
+1 stars
from 16 · score 0.69
54.zertovitch / azip
AZip: a free, portable Zip Archive Manager
- ada
- ada-language
- zip
- archive
- archive-manager
+1 stars
from 14 · score 0.69
55.tomekw / testy
A test framework in Ada
+1 stars
from 3 · score 0.69
56.zertovitch / engine-3d
Engine_3D: a real-time, pure software, 3D engine for DOS-talgics. Abandoned project, but perhaps there are some interesting bits in the code... See GLOBE_3D for newer stuff !
- ada
- ada-language
- 3d-engine
- software-rendering
+1 stars
from 3 · score 0.69