gravatar for cedille

cedille cedille on Github

global

Languages

6 total

LanguageReposStarsGlobal
all847592,160
Agda34117
Haskell1361,965
unknown112131,691
Rust1926,754
TeX1512,966
Shell12160,937

Repos

8 total

RepoLanguageStarsRank
cedille/cedille on GithubcedilleAgda3656
cedille/ial on GithubialAgda4660
cedille/cedille-developments on Githubcedille-developmentsHaskell362,506
cedille/cedille-cast on Githubcedille-castunknown12147,405
cedille/cedille2 on Githubcedille2Rust941,846
cedille/icfp18-tutorial on Githubicfp18-tutorialTeX513,779
cedille/cedille.github.io on Githubcedille.github.ioShell2196,424
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-10-17T08:33:51.115749547Z Re-sync