Popular repositories Loading

1. ivy ivy Public

   Forked from microsoft/ivy

   IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…

   C++ 78 24

2. dslabs dslabs Public

   Forked from emichael/dslabs

   Distributed Systems Labs and Framework

   Java 5 7

3. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++ 2 1

4. uncore uncore Public

   Forked from khkwok/uncore

   Scala

5. minq minq Public

   Forked from ekr/minq

   A simple Go implementation of QUIC

   Go

6. picoquic picoquic Public

   Forked from private-octopus/picoquic

   Minimal implementation of the QUIC protocol

   C