gravatar for Fermat

Fermat Fermat on Github

global

Languages

4 total

LanguageReposStarsGlobal
all624720,804
Haskell384,484
Grammatical Framework1712
Agda16248
HTML13219,580

Repos

6 total

RepoLanguageStarsRank
Fermat/Gottlob on GithubGottlobGrammatical Framework714
Fermat/dependent-fold on Githubdependent-foldAgda6396
Fermat/corecursive-type-class on Githubcorecursive-type-classHaskell413,981
Fermat/fermat.github.io on Githubfermat.github.ioHTML3218,626
Fermat/higher-rank on Githubhigher-rankHaskell316,584
Fermat/FCR on GithubFCRHaskell148,984

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-05-06T13:54:15.434104350Z Re-sync