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/sharpy
Simulation of High Aspect Ratio aeroplanes and wind turbines in Python: a nonlinear aeroelastic code
ImperialCollegeLondon/django-drf-filepond
A Django app providing a server implemention for the Filepond file upload library
ImperialCollegeLondon/pyrealm
Development of the pyrealm package, providing an integrated toolbox for modelling plant productivity, growth and demography using Python.
ImperialCollegeLondon/multifluids_icferst
ImperialCollegeLondon/wsi
WSIMOD is a software for simulating water quality and quantity
ImperialCollegeLondon/RCDS-writing-theses-in-latex
ImperialCollegeLondon/virtual_ecosystem
This repository is the home for the codebase for the Virtual Ecosystem project.
ImperialCollegeLondon/poetry_template_2
Template for a poetry-based project without docs and license information
ImperialCollegeLondon/RCDS-Summer-School-2023
ImperialCollegeLondon/FINESSE
A graphical user interface for controlling and monitoring an interferometer device
ImperialCollegeLondon/python-template
A template for Python projects using cookiecutter
ImperialCollegeLondon/Faraday-liionsden
ImperialCollegeLondon/gridlington-datahub
ImperialCollegeLondon/safedata_validator
Python tools to validate and publish datasets using the safedata metadata format.
ImperialCollegeLondon/AzureTRE
An accelerator to help organizations build Trusted Research Environments on Azure.
ImperialCollegeLondon/gridlington-vis
ImperialCollegeLondon/icl-rcs-user-guide
ImperialCollegeLondon/pip-tools-template
Template for a pip-tools-based python project without docs and license information
ImperialCollegeLondon/SIKE
ImperialCollegeLondon/spatial-lv-GWAS
ImperialCollegeLondon/unit_testing_Cpp_exercises
Skeleton code to go with the C++ unit testing course
ImperialCollegeLondon/MAG-Data-Visualization-Toolbox
MATLAB Data Visualization for MAG data.
ImperialCollegeLondon/paricia
Hydroclimatic data collection and information system
ImperialCollegeLondon/PyBaMM-ESE-Public
This repository contains PyBaMM branches that reproduce papers by the Electrochemical Science and Engineering (ESE) group at Imperial
ImperialCollegeLondon/Auto-CORPus
Auto-CORPus pipeline developed by a University of Nottingham and Imperial College London collaboration to standardize text and table data extracted from full text publications. See Open Access publication at: https://doi.org/10.3389/fdgth.2022.788124.
ImperialCollegeLondon/bubble_analyser
ImperialCollegeLondon/imap-pipeline-core
ImperialCollegeLondon/LhARAlinearOptics
Linear optics code for LhARA
ImperialCollegeLondon/RSEBlog