Owner
ImperialCollegeLondon
148 indexed repositories · View on GitHub
-
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Lean · 1032 stars
-
covid19model
Code for modelling estimated deaths and cases for COVID19.
Stan · 940 stars
-
natural_number_game
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
Lean · 305 stars
-
sap-voicebox
Speech Processing Toolbox for MATLAB
MATLAB · 254 stars
-
sharpy
Simulation of High Aspect Ratio aeroplanes and wind turbines in Python: a nonlinear aeroelastic code
Python · 191 stars
-
django-drf-filepond
A Django app providing a server implemention for the Filepond file upload library
Python · 108 stars
-
ICLOCS
MATLAB optimal-control software for direct collocation, trajectory optimization, and nonlinear programming workflows.
MATLAB · 90 stars
-
real-number-game
A gamification of the theorems in MATH40002 Analysis 1
Lean · 84 stars
-
pnextract
Pore network extraction from micro-CT images of porous media
C++ · 73 stars
-
M4P33
M4 algebraic geometry course in Lean
Lean · 58 stars
-
PyProBE
Python Processing for Battery Experiments
Python · 56 stars
-
Shell · 55 stars
-
pnflow
Classical network (extraction and) flow simulation
C · 52 stars
-
SWMManywhere
SWMManywhere is used to derive and simulate a sewer network anywhere in the world
Python · 51 stars
-
epidemia
epidemia package
R · 50 stars
-
imperial_latex_templates
Official LaTeX templates employing the Imperial College London brand.
TeX · 50 stars
-
Visual2
F# re-implementation of VisUAL educational ARM assembler and simulator.
F# · 49 stars
-
complex-number-game
The Complex Number Game. Make the complex numbers in Lean.
Lean · 43 stars
-
Jupyter Notebook · 38 stars
-
pyrealm
Development of the pyrealm package, providing an integrated toolbox for modelling plant productivity, growth and demography using Python.
Python · 37 stars
- 128 more repositories live on View on GitHub
-
Basic low priority Milestone 1
ImperialCollegeLondon/EpicollectHtml5#10 · 1 comment · 0 reactions · 0 assignees ·
-
bug
ImperialCollegeLondon/EpicollectPlus-mobile-client-html5#1 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/EpicollectPlus-mobile-client-html5#2 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/citizengrid#1 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/citizengrid#2 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/citizengrid#13 · 2 comments · 0 reactions · 0 assignees ·
-
Login form update Open
ImperialCollegeLondon/citizengrid#14 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/citizengrid#19 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/citizengrid#20 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/citizengrid#21 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/citizengrid#22 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/wgsa-documentation#1 · 2 comments · 0 reactions · 0 assignees ·
-
Downloads Failing Open
ImperialCollegeLondon/wgsa-documentation#2 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/eslint-config-cgps#1 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/EpiCollectplus#87 · 0 comments · 0 reactions · 1 assignee ·
-
High Priority (Next Release)
ImperialCollegeLondon/EpiCollectplus#88 · 0 comments · 0 reactions · 1 assignee ·
-
New Version (epicollect5)
ImperialCollegeLondon/EpiCollectplus#90 · 0 comments · 0 reactions · 1 assignee ·
-
Need to be discussed
ImperialCollegeLondon/EpiCollectplus#91 · 1 comment · 0 reactions · 1 assignee ·
-
New Version (epicollect5)
ImperialCollegeLondon/EpiCollectplus#92 · 0 comments · 0 reactions · 1 assignee ·
-
Enhancement
ImperialCollegeLondon/EpiCollectplus#116 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/EpiCollectplus#117 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/EpiCollectplus#118 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/EpiCollectplus#123 · 1 comment · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/EpiCollectplus#126 · 0 comments · 0 reactions · 0 assignees ·
-
High Priority (Next Release) Need to be discussed
ImperialCollegeLondon/EpiCollectplus#127 · 0 comments · 0 reactions · 1 assignee ·
-
Enhancement
ImperialCollegeLondon/EpiCollectplus#128 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/EpiCollectplus#130 · 2 comments · 0 reactions · 1 assignee ·
-
ImperialCollegeLondon/EpiCollectplus#132 · 1 comment · 0 reactions · 1 assignee ·
-
ImperialCollegeLondon/EpiCollectplus#133 · 0 comments · 0 reactions · 1 assignee ·
-
Getimagesize() error Open
ImperialCollegeLondon/EpiCollectplus#134 · 1 comment · 0 reactions · 0 assignees ·
-
Blank Screen Open
ImperialCollegeLondon/EpiCollectplus#141 · 1 comment · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/EpiCollectplus#142 · 4 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/cgps-genotyphi#9 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/leaflet-lassoselect#1 · 0 comments · 0 reactions · 0 assignees ·
-
Code Cleanup Needed Open
ImperialCollegeLondon/VisualRandomTestGen#1 · 0 comments · 0 reactions · 0 assignees ·
-
question
ImperialCollegeLondon/LTBIscreeningproject#3 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/LTBIscreeningproject#4 · 0 comments · 0 reactions · 0 assignees ·
-
documentation
ImperialCollegeLondon/LTBIscreeningproject#6 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/LTBIscreeningproject#7 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
ImperialCollegeLondon/LTBIscreeningproject#9 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement question
ImperialCollegeLondon/LTBIscreeningproject#10 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/LTBIscreeningproject#11 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/LTBIscreeningproject#12 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/PombeTrack#5 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/PombeTrack#9 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/PombeTrack#10 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/PombeTrack#11 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/PombeTrack#12 · 0 comments · 0 reactions · 0 assignees ·
-
ImperialCollegeLondon/PombeTrack#13 · 0 comments · 0 reactions · 0 assignees ·
-
Comments system Open
ImperialCollegeLondon/PombeTrack#14 · 0 comments · 0 reactions · 0 assignees ·
Showing the newest 100
This page lists what was indexed most recently. Advanced filter has the whole inventory, narrowed by language, difficulty and how long a task takes.