Popular repositories Loading

1. rhacks_project rhacks_project Public

   Forked from beForged/rhacks_project

   messing around at rhacks

   C#

2. bitcoincore.org bitcoincore.org Public

   Forked from bitcoin-core/bitcoincore.org

   Bitcoin Core project website

   HTML

3. GemsWebsite GemsWebsite Public

   Forked from beForged/GemsWebsite

   This is literally html and css

   HTML

4. GainzChain GainzChain Public

   C++

5. 389Rfall18 389Rfall18 Public

   Forked from UMD-CS-STICs/389Rfall18

   CMSC389R course at UMD

   Python

6. 631FinalProject 631FinalProject Public

   Some basic proofs with extensions to Lambda Calc

   Coq