gravatar for ImperialCollegeLondon

ImperialCollegeLondon ImperialCollegeLondon on Github

global / united kingdom / london

Languages

28 total

Repos

441 total

RepoLanguageStarsRank
ImperialCollegeLondon/covid19model on Githubcovid19modelStan9451
ImperialCollegeLondon/formalising-mathematics on Githubformalising-mathematicsLean2916
ImperialCollegeLondon/natural_number_game on Githubnatural_number_gameLean2907
ImperialCollegeLondon/sap-voicebox on Githubsap-voiceboxMATLAB220244
ImperialCollegeLondon/M40001_lean on GithubM40001_leanLean15811
ImperialCollegeLondon/formalising-mathematics-2022 on Githubformalising-mathematics-2022Lean11814
ImperialCollegeLondon/sharpy on GithubsharpyPython10951,534
ImperialCollegeLondon/django-drf-filepond on Githubdjango-drf-filepondPython9856,117
ImperialCollegeLondon/real-number-game on Githubreal-number-gameLean7426
ImperialCollegeLondon/ICLOCS on GithubICLOCSMATLAB601,325

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

Country

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

Preview

Locality

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

Preview

Last updated: 2024-02-18T12:22:53.198798138Z Re-sync