gravatar for rasheedja

rasheedja rasheedja on Github

global

Languages

12 total

LanguageReposStarsGlobal
all2718761,584
Haskell4113,610
JavaScript25332,139
TeX3132,245
Isabelle11170
PHP10-
Python50-
Vim Script10-
C#30-
HTML10-
Ada10-
Java40-
SMT10-

Repos

27 total

RepoLanguageStarsRank
rasheedja/PropaFP on GithubPropaFPHaskell69,108
rasheedja/LPPaver on GithubLPPaverJavaScript5417,531
rasheedja/simplex-method on Githubsimplex-methodHaskell412,328
rasheedja/HaskellFromFirstPrinciples on GithubHaskellFromFirstPrinciplesHaskell134,642
rasheedja/YesodDjangoComparison on GithubYesodDjangoComparisonTeX145,463
rasheedja/concrete-semantics on Githubconcrete-semanticsIsabelle1243
rasheedja/aston-animal-sanctuary on Githubaston-animal-sanctuaryPHP0-
rasheedja/scpwiki-downloader on Githubscpwiki-downloaderPython0-
rasheedja/locu-restaurants on Githublocu-restaurantsPython0-
rasheedja/CelsiusConverterGUI on GithubCelsiusConverterGUIJava0-

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: 2023-05-30T12:21:42.641991275Z Re-sync