Popular repositories Loading

1. vim vim Public

   Forked from dayeol/vim

   personal vim setting

   Vim Script

2. seL4 seL4 Public

   Forked from seL4/seL4

   The seL4 microkernel

   C

3. sel4test sel4test Public

   Forked from seL4/sel4test

   Test suite for seL4.

   C

4. zkrp zkrp Public

   Forked from ing-bank/zkrp

   Reusable library for creating and verifying zero-knowledge range proofs and set membership proofs.

   Go

5. pedersen-commitment pedersen-commitment Public

   Forked from lorenzogentile404/pedersen-commitment

   Python

6. MP-SPDZ MP-SPDZ Public

   Forked from data61/MP-SPDZ

   Versatile framework for multi-party computation

   C++