ImperialCollegeLondon
Imperial College London Joined Nov 2011 View on GitHub
- Stars
- 6,915
- across 648 public repos
- Rank
- #5,346
- of 95,324 organizations, top 6%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 63,538 | Ongoing Lean formalisation of the proof of Fermat's Last Theorem | Lean | 1,055 |
| 70,340 | Code for modelling estimated deaths and cases for COVID19. | Stan | 941 |
| 188,120 | 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 | Lean | 317 |
| 194,583 | Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information. | Lean | 305 |
| 220,068 | Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024. | Lean | 264 |
| 224,425 | Speech Processing Toolbox for MATLAB | MATLAB | 258 |
| 278,152 | Simulation of High Aspect Ratio aeroplanes in Python: a nonlinear aeroelastic code | Python | 199 |
| 323,450 | Lean 3 material related to Imperial College's "Introduction to University Mathematics" course | Lean | 166 |
| 418,334 | 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 | Lean | 121 |
| 454,439 | A Django app providing a server implemention for the Filepond file upload library | Python | 109 |
| 523,577 | MATLAB optimal-control software for direct collocation, trajectory optimization, and nonlinear programming workflows. | MATLAB | 91 |
| 547,466 | A gamification of the theorems in MATH40002 Analysis 1 | Lean | 86 |
| 623,105 | Pore network extraction from micro-CT images of porous media | C++ | 73 |
| 658,912 | Building group theory from scratch in Lean | Lean | 68 |
| 736,353 | Shell | 59 | |
| 746,215 | M4 algebraic geometry course in Lean | Lean | 58 |
| 756,630 | SWMManywhere is used to derive and simulate a sewer network anywhere in the world | Python | 57 |
| 756,630 | Python Processing for Battery Experiments | Python | 57 |
| 767,299 | Official LaTeX templates employing the Imperial College London brand. | TeX | 56 |
| 778,438 | Classical network (extraction and) flow simulation | C | 55 |
| 801,367 | https://github.com/kmichali/GS_comm_line | Jupyter Notebook | 53 |
| 826,026 | F# re-implementation of VisUAL educational ARM assembler and simulator. | F# | 51 |
| 838,791 | epidemia package | R | 50 |
Among 95,324 organizations
6.3k–10k stars: 1,988 organizations, including ImperialCollegeLondon
Stars along the bottom, and organizations in each band on a log scale
Where the stars are
Languages
- Lean 2.4k stars, 35% · 9 repos
- Stan 941 stars, 14% · 1 repo
- Python 422 stars, 6% · 4 repos
- MATLAB 349 stars, 5% · 2 repos
- C++ 73 stars, 1% · 1 repo
- Shell 59 stars, 1% · 1 repo
- TeX 56 stars, 1% · 1 repo
- C 55 stars, 1% · 1 repo
and 3 more languages
When they were made
23 repos with 50+ stars, made between 2016 and 2024
Quick stats
- Next rank
- +6 stars to reach #5,343
- Next milestone
- +28,120 stars to reach the top 1%
- Public repos
- 648, 23 with 50+ stars
- Popular repos
- 10 over 100 stars, 1 over 1k stars
- Top repo
- FLT, #63,538 of all repos, 15% of stars
- Smaller repos
- 2,366 stars from repos under 50