Testing suite for a decentralized operating system
was by ProvableHQ. Owned by Howard Wu.
#78 in #operating-systems
2MB 41K SLoC
~76MB ~896K SLoC