1.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
2.docandrew / CuBitGeneral-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64adasparkosx86-64AdaGPL-3.090 total4 forks+2 starsfrom 88 · score 1.10