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
+7 stars
from 170 · score 2.08
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
7 repositories by Attention Score · Aug 6, 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
+5 stars
from 81 · score 1.79
3.AdaDoom3 / AdaDoom3
Id Software's Id-tech-4-BFG in the Ada programming language.
+4 stars
from 283 · score 1.61
4.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
5.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
6.OneWingedShark / Byron
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
+1 stars
from 66 · score 0.69
+1 stars
from 37 · score 0.69