xlab-uiuc's repositories
linux-mcdc
Measure Linux kernel's modified condition/decision coverage (MC/DC)
Language:Jupyter NotebookApache-2.0000
Language:PythonApache-2.0000
Apache-2.0000
cassandra
Mirror of Apache Cassandra
Language:JavaApache-2.0000
craft
C implementation of the Raft consensus protocol
NOASSERTION000
DeathStarBench
Open-source benchmark suite for cloud microservices
Language:CApache-2.0000
gups
gups mirror
Language:C000
hugegpt-linux
HugeGPT Linux Kernel Implementation
Language:CNOASSERTION000
lcov
LCOV
GPL-2.0000
ltp
Linux Test Project http://linux-test-project.github.io/
Language:CGPL-2.0000
memc3
MemC3
Language:CBSD-3-Clause000
Language:Rust000
rust
Empowering everyone to build reliable and efficient software.
Language:RustNOASSERTION000
verifiable-controllers
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.