GitHub repos by ImperialCollegeLondon
10 public repos by ImperialCollegeLondon in the catalog, most starred first.
- ImperialCollegeLondon/FLTStars: 1,056LeanBeta
- ImperialCollegeLondon/covid19modelStars: 941StanBeta
- ImperialCollegeLondon/formalising-mathematicsStars: 317LeanAlpha
- ImperialCollegeLondon/natural_number_gameStars: 305LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Stars: 264LeanAlpha
- ImperialCollegeLondon/sap-voiceboxStars: 255MATLABAlpha
- ImperialCollegeLondon/sharpyStars: 198PythonPrototype
- ImperialCollegeLondon/M40001_leanStars: 165LeanPrototype
- ImperialCollegeLondon/formalising-mathematics-2022Stars: 121LeanPrototype
- ImperialCollegeLondon/django-drf-filepondStars: 109PythonPrototype