Popular repositories Loading

1. fresco fresco Public

   Forked from aicis/fresco

   A FRamework for Efficient Secure COmputation

   Java

2. checkstyle checkstyle Public

   Forked from checkstyle/checkstyle

   Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly co…

   Java

3. eorloff.github.io eorloff.github.io Public

   HTML

4. pitest pitest Public

   Forked from hcoles/pitest

   State of the art mutation testing system for the JVM

   Java

5. fiat-crypto fiat-crypto Public

   Forked from mit-plv/fiat-crypto

   Cryptographic Primitive Code Generation by Fiat

   Coq

6. slips slips Public

   Forked from satoshilabs/slips

   SatoshiLabs Improvement Proposals

   Markdown