Daniel Selsam

@dselsam

Open GitHub

null

Profile age: over 12 years

Updated 11 days ago

284 followers • 0 following

Organizations

Profile Overview

Global Rank

Elite 4

Persona

Influencer

#45,348

#485,658

#34,548

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

certigrad

396

updated over 6 years ago • age over 8 years

Lean99.8%

Dockerfile0.2%

neurosat

286

updated over 6 years ago • age over 7 years

Python97.8%

Shell2.2%

neurocore-public

updated over 5 years ago • age over 6 years

Python68.2%

C++31.8%

lean-python-bindings

updated about 8 years ago • age about 8 years

Python43.5%

C++37.5%

CMake16.9%

Elixir2.1%

lean-gym

updated over 2 years ago • age over 4 years

Lean100.0%

View all 14 repositories

Last Contributions

2022
lean
1 PR +46-7
C++
434
79
76
lean-gym
1 PR +291-108
Lean
192
34
mathport
1 PR +6-15
Lean
44
15
1,000
mathzoo
4 PRs +1,537-998
Lean
25
4
2021
lean4
~20 PRs +2,396-903
Lean
6,491
672
91

View all contributions

Latest Updates

20 Sep 2025
Followers Count:283 284
06 Sep 2025
Followers Count:282 283
09 Aug 2025
Followers Count:280 282
25 Jul 2025
Followers Count:278 280
11 Jul 2025
Followers Count:276 278
06 Jan 2025
First seen

Subscribe to dselsam's GitHub rank updates in your messenger

WhatsApp Telegram