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