Popular repositories Loading

1. gubars gubars Public

   Config files for my GitHub profile.

2. s25-eng-r2-deliverable s25-eng-r2-deliverable Public

   Forked from hcs-t4sg/f25-eng-r2-deliverable

   TypeScript

3. t4sg-f25-code-dot-org t4sg-f25-code-dot-org Public

   Forked from code-dot-org/code-dot-org

   The code powering code.org and studio.code.org

   JavaScript 1

4. ModularPhysics ModularPhysics Public

   Lean 1

5. math231br math231br Public

   Forked from tbrazel/math231br

   Spring 2026 notes for math231br: topology of algebraic manifolds

   TeX

6. KontsevichSegal KontsevichSegal Public

   Lean 4 formalization of the Kontsevich-Segal axioms

   Lean