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+6 starsfrom 125 · score 1.95
2.docandrew / CuBitGeneral-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64adasparkosx86-64AdaGPL-3.090 total4 forks+4 starsfrom 86 · score 1.61
3.wookey-project / ewok-kernelA secure and high performances microkernel for building secure MCU-based IoTsadamicrokernelembeddedsecuritymicrocontrollermicrocontroller-firmware+5 moreAdaAPACHE-2.079 total10 forks+2 starsfrom 77 · score 1.10
4.atalii / adageada privilege escalationadasecuritysparksudoAdaGPL-3.012 total0 forks+2 starsfrom 10 · score 1.10