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/django-drf-filepond
A Django app providing a server implemention for the Filepond file upload library
ImperialCollegeLondon/pnflow
Classical network (extraction and) flow simulation
ImperialCollegeLondon/porescale
Migrating from https://github.com/aliraeini
ImperialCollegeLondon/AI4PDEs
PDE solvers expressed as neural networks
ImperialCollegeLondon/batteryDAT
Battery data analysis tools
ImperialCollegeLondon/ReCoDE-Turing-Patterns-and-Partial-Differential-Equations
This repository contains an Imperial College ReCoDE Exemplar, featuring a Fortran-based PDE solver with detailed learning annotations. It's designed as a research computing resource for doctoral students and researchers.
ImperialCollegeLondon/HCM-taxonomy
ImperialCollegeLondon/RCDS-Summer-School-2023
ImperialCollegeLondon/fast-and-curious
The materials for the 2024 Fast and the Curious Hackathon run by the Research Computing and Data Science at the Graduate School
ImperialCollegeLondon/ReCoDE-Analysis-of-environmental-literature-with-BERTopic-and-RoBERTa
Analysis of environmental literature with BERTopic and RoBERTa
ImperialCollegeLondon/ReCoDE-SurvivalAnalysis
ImperialCollegeLondon/EV_reserve
Code for the study "Reserve Provision from Electric Vehicles: Aggregate Boundaries and Stochastic Model Predictive Control"
ImperialCollegeLondon/physics-summer-school
ImperialCollegeLondon/PyBaMM-ESE-Public
This repository contains PyBaMM branches that reproduce papers by the Electrochemical Science and Engineering (ESE) group at Imperial
ImperialCollegeLondon/ReCoDE-penalised-reg
ReCoDE repository for 'Predicting colitis using penalised regression'
ImperialCollegeLondon/ReCoDE-PythonGUI
ImperialCollegeLondon/urop-maths-inclusivity
Repository for "Making maths more inclusive" UROP containing source code for maths visualisations.
ImperialCollegeLondon/.github
ImperialCollegeLondon/ViRSETraining_PacMan1
ImperialCollegeLondon/adiposity_aging
ImperialCollegeLondon/DDIM
ImperialCollegeLondon/game_of_life
Example repository using Conway's Game of Life to evaluate GitHub Actions environmental and time impact
ImperialCollegeLondon/GGIECN
ImperialCollegeLondon/imap-data-access
Package to download, query, and upload files from the IMAP Science Data Center.
ImperialCollegeLondon/mag-lab-data-toolkit
ImperialCollegeLondon/magda_tools
A collection of tools for working with MAGDA data files
ImperialCollegeLondon/python-wiremock
A Python library for API mocking and testing with Testcontainers module and WireMock
ImperialCollegeLondon/rcs-node-config
ImperialCollegeLondon/sam-ahadi
ImperialCollegeLondon/Waveform_tuning
This code is to tune a generic waveform using stroke volume and the ratio of cardiac sytole and diastole period.