Repos by ImperialCollegeLondon

ImperialCollegeLondon / repos

521 repos

«12...53»
RepoLanguageStarsRank
ImperialCollegeLondon/covid19model on Githubcovid19modelStan9431
ImperialCollegeLondon/formalising-mathematics on Githubformalising-mathematicsLean30210
ImperialCollegeLondon/natural_number_game on Githubnatural_number_gameLean29211
ImperialCollegeLondon/FLT on GithubFLTLean25412
ImperialCollegeLondon/sap-voicebox on Githubsap-voiceboxMATLAB236256
ImperialCollegeLondon/M40001_lean on GithubM40001_leanLean15621
ImperialCollegeLondon/sharpy on GithubsharpyPython12853,813
ImperialCollegeLondon/formalising-mathematics-2024 on Githubformalising-mathematics-2024Lean12524
ImperialCollegeLondon/formalising-mathematics-2022 on Githubformalising-mathematics-2022Lean11929
ImperialCollegeLondon/django-drf-filepond on Githubdjango-drf-filepondPython10563,308