663 Repositories
covid19model
945
FLT
394
formalising-mathematics
306
natural_number_game
296
sap-voicebox
241
formalising-mathematics-2024
203
M40001_lean
159
sharpy
131
formalising-mathematics-2022
119
django-drf-filepond
106
ICLOCS
82
real-number-game
81
M4P33
59
group-theory-game
59
pnextract
57
formalising-mathematics-2023
48
epidemia
48
pnflow
43
Visual2
42
EventEMin
42
RCDS-comm-line
40
complex-number-game
36
porescale
33
RCDS-profiling-and-optimisation-in-python
32
RCDS-object-oriented-python
31
RCDS-machine-learning-with-python
29
RCDS-intro-to-machine-learning
29
pyrealm
28
porefoam
28
RCDS-intro-to-containers
27
xena-UROP-2018
25
imperial_latex_templates
25
csml-reading-group
24
UVLM
23
spear-tools
23
Example-Lean-Projects
22
EpiCollectplus
22
RCDS-data-processing-with-python
21
poreFoam-singlePhase
21
PyProBE
20
RCDS-introduction-to-latex
19
RCDS-writing-theses-in-latex
18
RCDS-numerical-computing-in-python-with-numpy-and-scipy
18
poetry_template
18
WInc3D
17
SWMManywhere
16
RCDS-introduction-to-fortran
16
GUIs-for-RS
16
R2T2
15
multifluids_icferst
15