Similar repositories to utaal/verified-nrkernel:

• utaal/verified-nrkernel github similar
• vmware/database-stream-processor-compiler github similar
• vmware-labs/verified-betrfs github similar
• vmware/node-replication github similar
• vmware/database-stream-processor github similar
• secure-foundations/verus github similar
• vmware/declarative-cluster-management github similar
• microsoft/TSVD github similar
• strymon-system/ds2 github similar
• vmware-labs/node-replicated-kernel github similar
• vmware/hillview github similar
• sieve-project/sieve github similar
• microsoft/Ironclad github similar
• vmware/splinterdb github similar
• vmware/cascade github similar
• vmware/differential-datalog github similar
• google/clusterfuzz github similar
• osquery/osquery github similar
• ohmyzsh/ohmyzsh github similar
• 996icu/996.ICU github similar