Pinned Repositories
covid19model
Code for modelling estimated deaths and cases for COVID19.
django-drf-filepond
A Django app providing a server implemention for the Filepond file upload library
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
formalising-mathematics
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
formalising-mathematics-2022
Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
M40001_lean
Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
natural_number_game
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
sap-voicebox
Speech Processing Toolbox for MATLAB
sharpy
Simulation of High Aspect Ratio aeroplanes and wind turbines in Python: a nonlinear aeroelastic code
Imperial College London's Repositories
ImperialCollegeLondon/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
ImperialCollegeLondon/pyrealm
Development of the pyrealm package, providing an integrated toolbox for modelling plant productivity, growth and demography using Python.
ImperialCollegeLondon/PyProBE
Python Processing for Battery Experiments
ImperialCollegeLondon/SWMManywhere
SWMManywhere is used to derive and simulate a sewer network anywhere in the world
ImperialCollegeLondon/wsi
WSIMOD is a software for simulating water quality and quantity
ImperialCollegeLondon/virtual_ecosystem
This repository is the home for the codebase for the Virtual Ecosystem project.
ImperialCollegeLondon/StrataTrapper
Field scale model generation and upscaling toolkit
ImperialCollegeLondon/pycsvy
Python reader/writer for CSV files with YAML header information
ImperialCollegeLondon/rcds_intro_cpp
Cpp Course
ImperialCollegeLondon/FROG
A graphical user interface for controlling and monitoring an interferometer device
ImperialCollegeLondon/bubble_analyser
A Python application for detecting, measuring, and analyzing bubbles in images.
ImperialCollegeLondon/LMsNN_NMR_Inversion
ImperialCollegeLondon/paricia
Hydroclimatic data collection and information system
ImperialCollegeLondon/ve_data_science
This repository is the data science repository for the Virtual Ecosystem project. It is used to store all the research and analysis being used to parameterise and run the Virtual Ecosystem model.
ImperialCollegeLondon/Faraday-liionsden
ImperialCollegeLondon/gridlington-datahub
ImperialCollegeLondon/icl-rcs-user-guide
ImperialCollegeLondon/RSEBlog
The RSE Team's blog
ImperialCollegeLondon/Y2CL_ProjectA_Template
2nd Year Physics Computing Laboratory Project A
ImperialCollegeLondon/Y2CL_ProjectB_Template
2nd Year Physics Computing Laboratory Project B
ImperialCollegeLondon/virtual_rainforest_snakemake_template
A template repository for running Virtual Rainforest analyses using Snakemake
ImperialCollegeLondon/drunc_ui
ImperialCollegeLondon/MAG-Data-Visualization-Toolbox
MATLAB Data Visualization for MAG data.
ImperialCollegeLondon/coldfront_development_environment
ImperialCollegeLondon/fair-data-repository
ImperialCollegeLondon/imap-pipeline-core
ImperialCollegeLondon/imperial_coldfront_plugin
ImperialCollegeLondon/maths-teaching-seminar
Website and coordination for the maths department teaching seminar
ImperialCollegeLondon/matlab-repo-init
MATLAB GitHub Repository Template
ImperialCollegeLondon/TIRF