Imperial College London
- Imperial College London
- icgithub-support@imperial.ac.uk
Grow your team on GitHub
GitHub is home to over 50 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Sign upRepositories
-
US-covid19-agespecific-mortality-data
Extract and data from various states in the US related to COVID-19
-
M40001_lean
Lean stuff for M40001
-
group-theory-game
Building group theory from scratch in Lean
-
sharpy
Simulation of High Aspect Ratio aeroplanes in Python: a nonlinear aeroelastic code
-
research-software-directory
Imperial College Research Software Directory
-
epidemia
epidemia package
-
crim
UROP summer 2020 on statistical machine learning and criminology
-
django-drf-filepond
A Django app providing a server implemention for the Filepond file upload library
-
P11-Galois-Theory
Lean notes for Imperial course P11 : Galois Theory
-
csml-reading-group
Computational statistics and machine learning reading group at Imperial College London (2019-2020)
-
ICLOCS
Imperial College London Optimal Control Software (ICLOCS)
-
R2T2
Research References Tracking Tool
-
HDL_Editor
Interactive Hardware Description Language/Block Diagram Editor
-
DirectSearch.jl
Direct search methods for derivative-free optimization
-
UVLM
Unsteady Vortex Lattice Method for Aeroelasticity in C++
-
fractalgenetics
Analysis of the genomic architecture and functional role of myocardial trabeculae
-
DLH-open
A repo for DLH work that can be shared publicly. All sensitive data, PII or IP must be removed before copying projects from DLH to DLH-open
-
RowActionMethods.jl
Row Action optimization solvers
-
pytest_template_application
Python application template with automated QA and Docker image publishing
-
STP
task3-streap-related
-
natural_number_game
Building the natural numbers in Lean.
-
al_cfd_benchmark
Active learning based regression for CFD cases
-
safedata
An R package for discovering and using data from the SAFE Project
-
british-natural-number-game
The British Natural Number Game. We develop the theory of `num`
-
safedata_validator
Python code to check the format of SAFE datasets submitted as Excel files