Skip to content
View TOTOGT's full-sized avatar
🎯
Focusing
🎯
Focusing

Block or report TOTOGT

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. AXLE AXLE Public template

    HOME OF THE AXLE + toy machine fruit fly 🪰 + Independent researcher · GOMC Science · contact geometry · Lean 4 proofs · free clinic Newark NJ · 229 Ballantine · C → K → F → U → ∞ ── GITHUB PROFILE …

    HTML 1 1

  2. DM3-lab DM3-lab Public template

    dm3 mathematics and physics research lab

    HTML 1

  3. book3-starter book3-starter Public template

    dm3 mathematics and physics research lab, classroom

    HTML 1

  4. geometry geometry Public

    Formal verification of a phased Moon Base colony architecture in Lean 4. - Principia Orthogona · G = U ∘ F ∘ K ∘ CBook 3 - The Mini-Beast - Student Editions

    HTML 1

  5. GTCT GTCT Public template

    GTCT TIME MACHINE Nogueira Grossi, P. (2026). The Generative Time Circuit Theorem (GTCT): Complete Proofs, Derivations, and Applications — Ring 5 (Version 2). G6 LLC. https://doi.org/10.5281/zenodo…

    HTML 1

  6. 3M 3M Public

    Helical Attractors on Contact 3-Manifolds: A Toy ODE Study

    HTML