1.zertovitch / hacHAC Ada Compiler - a small, quick Ada compiler fully in Ada adaada-languagecompilervirtual-machinestrongly-typedada-library+7 moreAdaMIT177 total21 forks+3 starsfrom 174 · score 1.39
2.AdaCore / RecordFluxFormal specification and generation of verifiable binary parsers, message generators and protocol state machinesparserbinary-parseradasparkformal-verificationformal-specification+5 moreAdaAPACHE-2.0131 total10 forks+2 starsfrom 129 · score 1.10
3.godunko / adawebpackAda WASM Runtime and Bindings for Web APIwasmgnat-llvmada-runtimeada-wasm-runtimeadaAdaBSD-3-CLAUSE86 total10 forks+2 starsfrom 84 · score 1.10
4.tofgarion / spark-by-exampleSPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Adaformal-verificationformal-methodsformal-specificationadaAdaNo license168 total19 forks+1 starsfrom 167 · score 0.69