xlab-uiuc
Pinned Loading
Repositories
Showing 10 of 77 repositories
- verifiable-controllers Public Forked from vmware-research/verifiable-controllers
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
xlab-uiuc/verifiable-controllers’s past year of commit activity - DeathStarBench Public Forked from delimitrou/DeathStarBench
Open-source benchmark suite for cloud microservices
xlab-uiuc/DeathStarBench’s past year of commit activity - rust Public Forked from rust-lang/rust
Empowering everyone to build reliable and efficient software.
xlab-uiuc/rust’s past year of commit activity - llvm-mcdc Public Forked from llvm/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
xlab-uiuc/llvm-mcdc’s past year of commit activity