1.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
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
10 repositories by Attention Score · Aug 7, 2026 – Nov 4, 2026 (UTC)
2.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.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
4.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
5.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
6.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
+1 stars
from 47 · score 0.69
8.LionelDraghi / bbt
Simple to use cross-platform BDD driver for black box testing
+1 stars
from 28 · score 0.69
9.stcarrez / ada-enet
Ada Embedded Network Stack
+1 stars
from 26 · score 0.69
+1 stars
from 18 · score 0.69