THTutorHero

People / teorth

teorth
Builder · Influence #288

teorth

GitHub
Influence71rank 288
Stars, own repos5.0k21 repos
Stars, 30 daysn/a
Followers4.7kGitHub

Best work

analysis A Lean companion to Analysis I 2.0k stars · Lean Source on GitHub
erdosproblems A community database for the problems on the erdosproblems.com site 874 stars · Python Source on GitHub
equational_theories A project to map out the relations between different equational theories of Magmas. 562 stars · Lean Source on GitHub

Vouched by builders we trust

People in this index with an Influence Index of 60+ and no Check first flag.

Affaan Mustafa

Affaan Mustafa follows them on GitHub.Leading compute trading and building agent performance tools.

Alex Newman

Alex Newman follows them on GitHub.Builds AI tools for persistent memory and agent context.

fzyzcjy

fzyzcjy follows them on GitHub.

Timeline

  1. Busiest day on GitHub this year131 contributions in one day
  2. Launched optimizationproblems384 stars today
  3. Launched erdosproblems874 stars today
  4. Launched analysis2.0k stars today
  5. Launched estimates342 stars today
  6. Launched equational_theories562 stars today
  7. Joined GitHub4.7k followers since