Pinned Loading

1. mafia-bots mafia-bots Public

   Python

2. box-registry-dapp box-registry-dapp Public

   JavaScript

3. usaco-practice usaco-practice Public

   usaco files

   C++ 1

4. leanprover-community/mathlib3 leanprover-community/mathlib3 Public archive

   Lean 3's obsolete mathematical components library: please use mathlib4

   Lean 1.7k 298

5. ADA-finance ADA-finance Public

   Python 2

6. public-pages public-pages Public

   All my public technical writing