gravatar for dselsam

dselsam dselsam on Github

global

Languages

4 total

LanguageReposStarsGlobal
all1974160,221
Lean94116
Python732319,992
Haskell274,795
Yacc10-

Repos

19 total

RepoLanguageStarsRank
dselsam/certigrad on GithubcertigradLean3856
dselsam/neurosat on GithubneurosatPython26125,848
dselsam/neurocore-public on Githubneurocore-publicPython37130,539
dselsam/lean-python-bindings on Githublean-python-bindingsPython13283,226
dselsam/lean-gym on Githublean-gymLean11210
dselsam/binport on GithubbinportLean10235
dselsam/terpret_problem on Githubterpret_problemPython5560,497
dselsam/neurocuber on GithubneurocuberPython5557,676
dselsam/arc on GithubarcHaskell510,960
dselsam/islanders on GithubislandersLean3622

Badges

Get your badge to use on GitHub or websites using the code below

Global

Global

Displays global rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-04-15T20:49:58.174526083Z Re-sync