Dépôts de ImperialCollegeLondon
10 dépôts publics de ImperialCollegeLondon au catalogue, du plus étoilé au moins étoilé.
- ImperialCollegeLondon/FLTÉtoiles : 1 056LeanBêta
- ImperialCollegeLondon/covid19modelÉtoiles : 941StanBêta
- ImperialCollegeLondon/formalising-mathematicsÉtoiles : 317LeanAlpha
- ImperialCollegeLondon/natural_number_gameÉtoiles : 305LeanAlpha
- ImperialCollegeLondon/formalising-mathematics-2024Étoiles : 263LeanAlpha
- ImperialCollegeLondon/sap-voiceboxÉtoiles : 255MATLABAlpha
- ImperialCollegeLondon/sharpyÉtoiles : 198PythonPrototype
- ImperialCollegeLondon/M40001_leanÉtoiles : 165LeanPrototype
- ImperialCollegeLondon/formalising-mathematics-2022Étoiles : 121LeanPrototype
- ImperialCollegeLondon/django-drf-filepondÉtoiles : 109PythonPrototype