Popular repositories

1. covid19model covid19model Public

   Code for modelling estimated deaths and cases for COVID19.

   Stan 943 273

2. formalising-mathematics formalising-mathematics Public

   Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

   Lean 294 22

3. natural_number_game natural_number_game Public

   Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

   Lean 290 72

4. sap-voicebox sap-voicebox Public

   Speech Processing Toolbox for MATLAB

   MATLAB 228 71

5. M40001_lean M40001_lean Public

   Lean 3 material related to Imperial College's "Introduction to University Mathematics" course

   Lean 156 14

6. sharpy sharpy Public

   Simulation of High Aspect Ratio aeroplanes and wind turbines in Python: a nonlinear aeroelastic code

   Python 117 56