gravatar for Taneb

Taneb Taneb on Github

global / italy / reggio nell'emilia

Languages

10 total

LanguageReposStarsGlobalCountryLocality
all5166366,9942,83911
Haskell29521,50781
Agda9919311
Python22776,8535,23613
Rust3177,2645542
Lua1155,3853362
Java11781,6874,18215
Jupyter Notebook10---
unknown30---
Objective-C++10---
Nix10---

Repos

51 total

RepoLanguageStarsRank
Taneb/groups on GithubgroupsHaskell97,342
Taneb/family-tree on Githubfamily-treeHaskell88,309
Taneb/project-euler on Githubproject-eulerAgda6384
Taneb/spriggan on GithubsprigganHaskell414,318
Taneb/net on GithubnetHaskell413,439
Taneb/hs-dcpu on Githubhs-dcpuHaskell225,229
Taneb/Wordeger on GithubWordegerHaskell224,948
Taneb/Dominus on GithubDominusPython21,282,136
Taneb/countdown on GithubcountdownHaskell224,288
Taneb/acme-onecheck on Githubacme-onecheckHaskell224,103

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