Popular repositories Loading

1. Coq_DataStructures Coq_DataStructures Public

   Various verified data structures in Coq.

   Coq 2

2. URLScraper URLScraper Public

   Parallel downloading of webpages within the same domain using Go.

   Go

3. Coqtail Coqtail Public

   Forked from whonore/Coqtail

   Interactive Coq Proofs in Vim

   Python

4. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

5. penrose penrose Public

   Forked from penrose/penrose

   Create beautiful diagrams just by typing mathematical notation in plain text.

   Haskell

6. ComputerSync ComputerSync Public

   Peer-to-peer file sync with end to end encryption.