# GitHub repos by ImperialCollegeLondon [Home](https://repo.masters-masters.com/en) › [ImperialCollegeLondon](https://repo.masters-masters.com/en/owners/ImperialCollegeLondon) All 10 public GitHub repos by ImperialCollegeLondon in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by ImperialCollegeLondon 10 public repos by ImperialCollegeLondon in the catalog, most starred first. - [ImperialCollegeLondon/FLT · ★ 1,056 · Lean · Beta](https://repo.masters-masters.com/en/repos/ImperialCollegeLondon/FLT) - [ImperialCollegeLondon/covid19model · ★ 941 · Stan · Beta](https://repo.masters-masters.com/en/repos/ImperialCollegeLondon/covid19model) - [ImperialCollegeLondon/formalising-mathematics · ★ 317 · Lean · Alpha](https://repo.masters-masters.com/en/repos/ImperialCollegeLondon/formalising-mathematics) - [ImperialCollegeLondon/natural\_number\_game · ★ 305 · Lean · Alpha](https://repo.masters-masters.com/en/repos/ImperialCollegeLondon/natural_number_game) - [ImperialCollegeLondon/formalising-mathematics-2024 · ★ 264 · Lean · Alpha](https://repo.masters-masters.com/en/repos/ImperialCollegeLondon/formalising-mathematics-2024) - [ImperialCollegeLondon/sap-voicebox · ★ 255 · MATLAB · Alpha](https://repo.masters-masters.com/en/repos/ImperialCollegeLondon/sap-voicebox) - [ImperialCollegeLondon/sharpy · ★ 198 · Python · Prototype](https://repo.masters-masters.com/en/repos/ImperialCollegeLondon/sharpy) - [ImperialCollegeLondon/M40001\_lean · ★ 165 · Lean · Prototype](https://repo.masters-masters.com/en/repos/ImperialCollegeLondon/M40001_lean) - [ImperialCollegeLondon/formalising-mathematics-2022 · ★ 121 · Lean · Prototype](https://repo.masters-masters.com/en/repos/ImperialCollegeLondon/formalising-mathematics-2022) - [ImperialCollegeLondon/django-drf-filepond · ★ 109 · Python · Prototype](https://repo.masters-masters.com/en/repos/ImperialCollegeLondon/django-drf-filepond) ## See ImperialCollegeLondon on GitHub - [https://github.com/ImperialCollegeLondon](https://github.com/ImperialCollegeLondon) --- Data: GitHub