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
10 repositories by Attention Score · May 9, 2026 – Nov 4, 2026 (UTC)
2.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
3.jgrivera67 / HiRTOS
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
+6 stars
from 51 · score 1.95
4.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
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
+4 stars
from 109 · score 1.61
6.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
7.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
+2 stars
from 46 · score 1.10
9.LionelDraghi / bbt
Simple to use cross-platform BDD driver for black box testing
+2 stars
from 27 · score 1.10
+1 stars
from 18 · score 0.69