gravatar for cedille

cedille cedille on Github

global

Languages

6 total

LanguageReposStarsGlobal
all845788,405
Agda34007
Haskell1361,924
unknown112120,150
TeX1512,093
Shell12152,162
Rust1254,781

Repos

8 total

RepoLanguageStarsRank
cedille/cedille on GithubcedilleAgda3585
cedille/ial on GithubialAgda4262
cedille/cedille-developments on Githubcedille-developmentsHaskell362,450
cedille/cedille-cast on Githubcedille-castunknown12130,231
cedille/icfp18-tutorial on Githubicfp18-tutorialTeX512,785
cedille/cedille.github.io on Githubcedille.github.ioShell2184,273
cedille/cedille2 on Githubcedille2Rust295,147
cedille/agda-performance-experiments on Githubagda-performance-experimentsAgda0-

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-18T05:29:35.445991173Z Re-sync