757 Repositories
FLT
971
covid19model
940
formalising-mathematics
315
natural_number_game
302
sap-voicebox
254
formalising-mathematics-2024
253
sharpy
189
M40001_lean
163
formalising-mathematics-2022
121
django-drf-filepond
108
ICLOCS
90
real-number-game
83
pnextract
73
group-theory-game
67
M4P33
58
porescale
55
RCDS-comm-line
52
PyProBE
52
pnflow
51
epidemia
50
imperial_latex_templates
49
Visual2
49
formalising-mathematics-2023
48
EventEMin
44
complex-number-game
43
RCDS-machine-learning-with-python
42
RCDS-intro-to-machine-learning
41
SWMManywhere
40
RCDS-profiling-and-optimisation-in-python
38
pyrealm
37
RCDS-object-oriented-python
35
RCDS-intro-to-containers
33
UVLM
32
porefoam
32
AI4PDEs
27
RCDS-writing-theses-in-latex
26
csml-reading-group
26
xena-UROP-2018
26
spear-tools
25
RCDS-data-processing-with-python
25
poreFoam-singlePhase
24
RCDS-introduction-to-latex
23
flexibleaircraftbook
23
Example-Lean-Projects
23
EpiCollectplus
23
wsi
22
RCDS-numerical-computing-in-python-with-numpy-and-scipy
21
RCDS-Deep-Learning-CNN
20
multifluids_icferst
20
IUM
20