xlab-uiuc

xlab-uiuc

Geek Repo

Github PK Tool:Github PK Tool

xlab-uiuc's repositories

acto

Push-Button End-to-End Testing of Kubernetes Operators and Controllers

Language:PythonLicense:Apache-2.0Stargazers:109Issues:9Issues:227

openctest

Testing Configuration Changes in Context to Prevent Production Failures

Language:PythonLicense:MITStargazers:27Issues:6Issues:2
Language:PythonStargazers:9Issues:3Issues:0

dmt

Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]

Language:CStargazers:6Issues:0Issues:0

ctest4j

A configuration testing framework for Java

Language:JavaLicense:MITStargazers:3Issues:3Issues:6

linux-mcdc

Measure Linux kernel's modified condition/decision coverage (MC/DC)

Language:ShellStargazers:3Issues:0Issues:0
Language:Jupyter NotebookLicense:Apache-2.0Stargazers:1Issues:0Issues:0
Language:CLicense:NOASSERTIONStargazers:1Issues:1Issues:0

qemu_ECPT

Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

Language:CLicense:NOASSERTIONStargazers:1Issues:1Issues:1
Language:Jupyter NotebookLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

cassandra

Mirror of Apache Cassandra

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

craft

C implementation of the Raft consensus protocol

License:NOASSERTIONStargazers:0Issues:0Issues:0

DeathStarBench

Open-source benchmark suite for cloud microservices

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

dynamorio

Dynamic Instrumentation Tool Platform

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:1

graphBIG

A Comprehensive Benchmark Suite for Graph Computing

Language:C++License:BSD-3-ClauseStargazers:0Issues:1Issues:0

gups

gups mirror

Language:CStargazers:0Issues:0Issues:0

hugegpt-linux

HugeGPT Linux Kernel Implementation

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

lcov

LCOV

License:GPL-2.0Stargazers:0Issues:0Issues:0

llvm-mcdc

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

License:NOASSERTIONStargazers:0Issues:1Issues:0

llvm-rust

Rust-specific fork of LLVM.

Language:LLVMLicense:NOASSERTIONStargazers:0Issues:2Issues:0

ltp

Linux Test Project http://linux-test-project.github.io/

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0

memc3

MemC3

Language:CLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

memtis

Tiered memory management

Language:CStargazers:0Issues:1Issues:9

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:0Issues:0Issues:0

sysbench

Scriptable database and system performance benchmark

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

verifiable-controllers

This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.

Language:RustLicense:NOASSERTIONStargazers:0Issues:1Issues:2