All Git Users → ImperialCollegeLondon

16 open source projects by ImperialCollegeLondon

1. Sap Voicebox
Speech Processing Toolbox for MATLAB
✭ 117
matlab
2. Real Number Game
A gamification of the theorems in MATH40002 Analysis 1
✭ 40
3. Covid19model
Code for modelling estimated deaths and cases for COVID19.
4. formalising-mathematics-2022
Lean material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics.
✭ 40
Lean
5. M40001 lean
Lean stuff for M40001
✭ 114
Lean
6. EventEMin
Event-based Vision Motion Estimation
7. poreFoam-singlePhase
Direct single-phase flow simulation and pre/post-processing codes
8. sharpy
Simulation of High Aspect Ratio aeroplanes and wind turbines in Python: a nonlinear aeroelastic code
9. Example-Lean-Projects
Some examples of Lean projects, for undergraduate mathematicians.
✭ 18
Lean
10. UVLM
Unsteady Vortex Lattice Method for Aeroelasticity in C++
✭ 17
C++CMakec
11. EpiCollectplus
The next generation of EpiCollect, multiple forms, more fields and more control. We recommend using Apache 2.2 or later, PHP 5.3 or later and MySQL 5.5 or later.
12. M4P33
M4 algebraic geometry course in Lean
✭ 49
Lean
13. xena-UROP-2018
A place to put our 2018 Xena project UROP thoughts and programs.
✭ 22
LeanTeX
14. epidemia
epidemia package
✭ 39
rTeXStan
15. ICLOCS
Imperial College London Optimal Control Software (ICLOCS)
✭ 49
matlab
16. pnextract
Pore network extraction from micro-CT images of porous media
1-16 of 16 user projects