Popular repositories Loading

1. IDASH18 IDASH18 Public

   C++ 2

2. clang clang Public

   Forked from llvm-mirror/clang

   Mirror of official clang git repository located at http://llvm.org/git/clang. Updated hourly.

   C++

3. haskell.sty haskell.sty Public

   Forked from mchakravarty/haskell.sty

   LaTeX style file to typeset functional languages like Haskell

   TeX

4. SymGC SymGC Public

   Haskell implementation of the symbolic security framework and security proof of the garbled circuit scheme in "Symbolic Security of Garbled Circuits"

   Haskell

5. bulletproofs bulletproofs Public

   Forked from adriagascon/bulletproofs

   A pure-Rust implementation of Bulletproofs using Ristretto.

   Rust

6. curve25519-dalek-ng curve25519-dalek-ng Public

   Forked from cathieyun/curve25519-dalek-ng

   A pure-Rust implementation of group operations on Ristretto and Curve25519 (forked to add/run special case benchmarks)

   Rust