735 Repositories
covid19model
947
FLT
821
formalising-mathematics
314
natural_number_game
303
sap-voicebox
250
formalising-mathematics-2024
249
sharpy
174
M40001_lean
161
formalising-mathematics-2022
122
django-drf-filepond
110
ICLOCS
86
real-number-game
83
pnextract
66
group-theory-game
62
M4P33
58
RCDS-comm-line
49
pnflow
49
epidemia
49
formalising-mathematics-2023
48
Visual2
46
porescale
45
PyProBE
44
EventEMin
44
complex-number-game
42
RCDS-machine-learning-with-python
38
imperial_latex_templates
38
RCDS-profiling-and-optimisation-in-python
36
RCDS-object-oriented-python
35
RCDS-intro-to-machine-learning
35
pyrealm
35
SWMManywhere
33
RCDS-intro-to-containers
32
UVLM
30
porefoam
30
xena-UROP-2018
26
RCDS-writing-theses-in-latex
25
RCDS-data-processing-with-python
25
csml-reading-group
25
spear-tools
24
poreFoam-singlePhase
24
Example-Lean-Projects
23
EpiCollectplus
23
RCDS-introduction-to-latex
22
flexibleaircraftbook
22
RCDS-numerical-computing-in-python-with-numpy-and-scipy
21
RCDS-Deep-Learning-CNN
20
AI4PDEs
20
IUM
19
wsi
18
WInc3D
17