Popular repositories Loading

1. Robespierre Robespierre Public

   Proof of No Cancellation Conspiracy for Offline Zeros in Lean4

   Lean 3

2. helix_frobenius helix_frobenius Public

   Lean 2

3. boxchain boxchain Public

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

   Shell 1 1

4. arduinoRemoteHand arduinoRemoteHand Public

   Reset your hung servers with an arduino and octocoupler relay!

   Arduino 1 1

5. deskopile deskopile Public

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

   1

6. ethonline2021 ethonline2021 Public

   Repository for ethglobal 2021 hackathon code

   Python 1 2