Languages
12 total
Repos
Repo | Language | Stars | Rank | |
---|---|---|---|---|
simplex-method | Haskell | 6 | 9,196 | |
PropaFP | Haskell | 6 | 9,090 | |
LPPaver | JavaScript | 5 | 431,885 | |
scpwiki-downloader | Python | 1 | 2,394,727 | |
HaskellFromFirstPrinciples | Haskell | 1 | 35,086 | |
YesodDjangoComparison | TeX | 1 | 49,958 | |
concrete-semantics | Isabelle | 1 | 261 | |
aston-animal-sanctuary | PHP | 0 | - | |
locu-restaurants | Python | 0 | - | |
CelsiusConverterGUI | Java | 0 | - |
Badges
Get your badge to use on GitHub or websites using the code below
Global
Displays global rankings for all languages plus top two languages by stars
Preview
Last updated: 2024-03-08T18:35:54.867953343Z Re-sync