gravatar for rasheedja

rasheedja rasheedja on Github

global

Languages

12 total

Repos

27 total

RepoLanguageStarsRank
rasheedja/simplex-method on Githubsimplex-methodHaskell69,196
rasheedja/PropaFP on GithubPropaFPHaskell69,090
rasheedja/LPPaver on GithubLPPaverJavaScript5431,885
rasheedja/scpwiki-downloader on Githubscpwiki-downloaderPython12,394,727
rasheedja/HaskellFromFirstPrinciples on GithubHaskellFromFirstPrinciplesHaskell135,086
rasheedja/YesodDjangoComparison on GithubYesodDjangoComparisonTeX149,958
rasheedja/concrete-semantics on Githubconcrete-semanticsIsabelle1261
rasheedja/aston-animal-sanctuary on Githubaston-animal-sanctuaryPHP0-
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

Displays global rankings for all languages plus top two languages by stars

Preview

Last updated: 2024-03-08T18:35:54.867953343Z Re-sync