covid19model

(★ 940)

Code for modelling estimated deaths and cases for COVID19.

Owner Repos

FLT ★ 975

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Lean
formalising-mathematics ★ 315

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
natural_number_game ★ 304

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

Lean
formalising-mathematics-2024 ★ 255

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

Lean
sap-voicebox ★ 254

Speech Processing Toolbox for MATLAB

MATLAB
sharpy ★ 189

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

Python

File Explorer

ZIP Download
  • .dockerignore
  • .gitattributes
  • .gitignore
  • base-Brazil.r
  • base-Italy.r
  • base-nature.r
  • base-usa-cases.r
  • base-usa.r
  • base.r
  • base_general.r
  • compute-ifr-europe.r
  • compute-ifr-usa.r
  • contributing.md
  • covariate-size-effects.r
  • covid19model.Rproj
  • environment.yml
  • LICENSE
  • make-table.r
  • plot-3-panel.r
  • plot-forecast.r
  • README.md
  • Technical_description_of_Imperial_COVID_19_Model.pdf
  • web-fetch-and-run.r
  • web-verify-output.r

# Use via CDN

jsDelivr

jsDelivr serves any public GitHub repository as a CDN with zero setup. Pick a version and a file to get a ready-to-paste link and snippet.

Link
Example

Command Glossary

Commands referenced in this DOCs, explained below.

🔍

conda activate

View Details ▼

Activate a conda environment.
See also: `conda deactivate`.

conda activate myenv

Activate an existing environment named `myenv`:

conda activate {{path/to/myenv}}

Activate an existing environment located at custom path:

conda activate --stack myenv

Stack `myenv` environment on top of a previous environment making libraries/commands/variables from both accessible:

🔍

conda env

View Details ▼

Manage conda environments.

conda env create {{[-f|--file]}} {{path/to/file}}

Create an environment from an environment file (YAML, TXT, etc.):

conda env remove {{[-n|--name]}} {{environment_name}}

Delete an environment and everything in it:

conda env update {{[-f|--file]}} {{path/to/file}} --prune

Update an environment based on an environment file:

// repository documentation