1.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
+15 stars
from 162 · score 2.77
Trending repositories
Ranked by Attention Score: stars gained over the last 180 complete days
7 repositories by Attention Score · May 8, 2026 – Nov 3, 2026 (UTC)
2.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
3.AdaDoom3 / AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
+8 stars
from 279 · score 2.20
4.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
5.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
6.OneWingedShark / Byron
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
+2 stars
from 65 · score 1.10
+1 stars
from 37 · score 0.69