1.zertovitch / hacHAC Ada Compiler - a small, quick Ada compiler fully in Ada adaada-languagecompilervirtual-machinestrongly-typedada-library+7 moreAdaMIT177 total21 forks+7 starsfrom 170 · score 2.08
2.godunko / adawebpackAda WASM Runtime and Bindings for Web APIwasmgnat-llvmada-runtimeada-wasm-runtimeadaAdaBSD-3-CLAUSE86 total10 forks+5 starsfrom 81 · score 1.79
3.AdaCore / libadalangAda semantic analysis library.AdaOther license172 total48 forks+3 starsfrom 169 · score 1.39
4.AdaCore / RecordFluxFormal specification and generation of verifiable binary parsers, message generators and protocol state machinesparserbinary-parseradasparkformal-verificationformal-specification+5 moreAdaAPACHE-2.0131 total10 forks+3 starsfrom 128 · score 1.39
5.OneWingedShark / ByronThe Byron project is a community-driven Ada compiler, toolchain, and IDE-system.AdaOther license67 total2 forks+1 starsfrom 66 · score 0.69