Popular repositories Loading

1. Robespierre Robespierre Public

   Proof of No Cancellation Conspiracy for Offline Zeros in Lean4

   Lean 2

2. boxchain boxchain Public

   Blockchain based data storage as a service, uses kubernetes, ethereum/geth, aws, terraform, ansible

   Shell 1 1

3. arduinoRemoteHand arduinoRemoteHand Public

   Reset your hung servers with an arduino and octocoupler relay!

   Arduino 1 1

4. deskopile deskopile Public

   Real human presence detection, effortless project time tracking, and a child silencer for the modern remote worker.

   1

5. ethonline2021 ethonline2021 Public

   Repository for ethglobal 2021 hackathon code

   Python 1 2

6. DualKey-MLWR DualKey-MLWR Public

   DualKey-MLWR: dual public-key Module-LWR signatures with a tight EasyCrypt EUF-CMA proof and ≈256-byte keys/signatures, plus reference C code.

   eC 1