gravatar for Taneb

Taneb Taneb on Github

global / italy / reggio nell'emilia

Languages

10 total

LanguageReposStarsGlobalCountryLocality
all5166366,7012,83411
Haskell29521,50881
Agda9919311
Python22775,9415,22213
Rust3177,1295522
Lua1155,3283362
Java11781,2834,17614
Jupyter Notebook10---
unknown30---
Objective-C++10---
Nix10---

Repos

51 total

RepoLanguageStarsRank
Taneb/groups on GithubgroupsHaskell97,335
Taneb/family-tree on Githubfamily-treeHaskell88,296
Taneb/project-euler on Githubproject-eulerAgda6384
Taneb/spriggan on GithubsprigganHaskell414,307
Taneb/net on GithubnetHaskell413,430
Taneb/hs-dcpu on Githubhs-dcpuHaskell225,219
Taneb/Wordeger on GithubWordegerHaskell224,938
Taneb/Dominus on GithubDominusPython21,280,876
Taneb/countdown on GithubcountdownHaskell224,277
Taneb/acme-onecheck on Githubacme-onecheckHaskell224,092

Badges

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

GlobalCountryLocality

Global

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

Preview

Country

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

Preview

Locality

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

Preview

Last updated: 2024-06-05T18:07:53.631598426Z Re-sync