Giters
CleanQ Project - Systems Group, ETH Zurich (CleanQ-Project)

CleanQ Project - Systems Group, ETH Zurich

CleanQ-Project

Geek Repo

This organization contains code repositories of the CleanQ project at the Systems Group, ETH Zurich

Location:Zurich

Home Page:www.systems.ethz.ch

Github PK Tool:Github PK Tool

CleanQ Project - Systems Group, ETH Zurich's repositories

cleanq-dpdk

CleanQ Port to the Intel DPDK Framework

Language:CLicense:MITStargazers:0Issues:0Issues:0

cleanq-linux

CleanQ for the Linux OS.

Language:CLicense:MITStargazers:0Issues:2Issues:0

cleanq-project.github.io

The CleanQ Project Website

Language:HTMLLicense:MITStargazers:0Issues:3Issues:0

cleanq-proofs

The CleanQ proofs in the Isabelle/HOL theorem prover

Language:IsabelleLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0