Skip to content

@CleanQ-Project CleanQ Project - Systems Group, ETH Zurich

Change the repository type filter

All

    Repositories list

    4 repositories

    • cleanq-project.github.io

      Public
      The CleanQ Project Website
      HTML
      •
      MIT License
      •0•0•0•0•Updated Sep 30, 2020Sep 30, 2020

    • cleanq-proofs

      Public
      The CleanQ proofs in the Isabelle/HOL theorem prover
      Isabelle
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Sep 30, 2020Sep 30, 2020

    • cleanq-dpdk

      Public
      CleanQ Port to the Intel DPDK Framework
      C
      •
      MIT License
      •0•0•0•0•Updated Sep 29, 2020Sep 29, 2020

    • cleanq-linux

      Public
      CleanQ for the Linux OS.
      C
      •
      MIT License
      •0•0•0•0•Updated Sep 29, 2020Sep 29, 2020