574 Repositories
covid19model
943
formalising-mathematics
294
natural_number_game
290
sap-voicebox
228
M40001_lean
156
sharpy
117
formalising-mathematics-2022
117
django-drf-filepond
101
real-number-game
74
ICLOCS
64
formalising-mathematics-2024
60
M4P33
57
group-theory-game
57
pnextract
53
formalising-mathematics-2023
48
epidemia
44
EventEMin
37
Visual2
35
pnflow
35
FLT
35
RCDS-comm-line
33
complex-number-game
32
RCDS-profiling-and-optimisation-in-python
30
RCDS-object-oriented-python
27
xena-UROP-2018
23
porefoam
23
RCDS-machine-learning-with-python
22
RCDS-intro-to-containers
22
EpiCollectplus
22
csml-reading-group
22
UVLM
21
Example-Lean-Projects
21
spear-tools
20
RCDS-intro-to-machine-learning
19
porescale
18
RCDS-data-processing-with-python
17
poreFoam-singlePhase
17
poetry_template
17
RCDS-numerical-computing-in-python-with-numpy-and-scipy
15
pyrealm
15
GUIs-for-RS
15
WInc3D
14
RCDS-introduction-to-fortran
14
R2T2
14
ComputerVision2018-19
14
sap-sh-doa-estimation
13
multifluids_icferst
13
M1P1-lean
13
m1fexplained_lean3
13
fractalgenetics
13