Imperial College London
- 444 followers
- Imperial College London
- icgithub-support@imperial.ac.uk
Popular repositories
-
covid19model
covid19model PublicCode for modelling estimated deaths and cases for COVID19.
-
formalising-mathematics
formalising-mathematics PublicLean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
-
natural_number_game
natural_number_game PublicBuilding the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
-
-
M40001_lean
M40001_lean PublicLean 3 material related to Imperial College's "Introduction to University Mathematics" course
Repositories
- safedata_validator Public
Python tools to validate and publish datasets using the safedata metadata format.
- virtual_ecosystem Public
This repository is the home for the codebase for the Virtual Ecosystem project.
-
- RCDS-writing-theses-in-latex Public
-
- pip-tools-template Public template
Template for a pip-tools-based python project without docs and license information