1.torokernel / torokernelThis repository contains the source code of toro unikernelfreepascaltorokernellazarusqemu-kvmunikernel+1 morePascalGPL-3.0370 total35 forks+11 starsfrom 359 · score 2.48
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