• Stars
    star
    15
  • Rank 1,341,226 (Top 27 %)
  • Language
    Fortran
  • License
    Other
  • Created over 4 years ago
  • Updated 3 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An Introductory Fortran course delivered by the Imperial College London Graduate School.

More Repositories

1

covid19model

Code for modelling estimated deaths and cases for COVID19.
Stan
944
star
2

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
Lean
295
star
3

natural_number_game

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
Lean
289
star
4

sap-voicebox

Speech Processing Toolbox for MATLAB
MATLAB
228
star
5

M40001_lean

Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
Lean
155
star
6

sharpy

Simulation of High Aspect Ratio aeroplanes and wind turbines in Python: a nonlinear aeroelastic code
Python
118
star
7

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
Lean
118
star
8

FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem
TeX
114
star
9

django-drf-filepond

A Django app providing a server implemention for the Filepond file upload library
Python
102
star
10

real-number-game

A gamification of the theorems in MATH40002 Analysis 1
Lean
75
star
11

ICLOCS

Imperial College London Optimal Control Software (ICLOCS)
MATLAB
69
star
12

formalising-mathematics-2024

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Lean
68
star
13

group-theory-game

Building group theory from scratch in Lean
Lean
57
star
14

M4P33

M4 algebraic geometry course in Lean
Lean
57
star
15

pnextract

Pore network extraction from micro-CT images of porous media
C++
53
star
16

formalising-mathematics-2023

repository for material for Jan-Mar 2023 course on formalising mathematics
Lean
48
star
17

epidemia

epidemia package
R
46
star
18

EventEMin

Event-based vision motion estimation
C++
37
star
19

Visual2

F# re-implementation of VisUAL educational ARM assembler and simulator.
F#
37
star
20

RCDS-comm-line

https://github.com/kmichali/GS_comm_line
Jupyter Notebook
35
star
21

pnflow

Classical network (extraction and) flow simulation
C
35
star
22

complex-number-game

The Complex Number Game. Make the complex numbers in Lean.
Lean
32
star
23

RCDS-profiling-and-optimisation-in-python

Jupyter Notebook
31
star
24

RCDS-object-oriented-python

Jupyter Notebook
27
star
25

xena-UROP-2018

A place to put our 2018 Xena project UROP thoughts and programs.
Lean
23
star
26

porefoam

Direct pore-scale simulation of single- and two-phase flow through confined media (alpha-release / experimental)
C
23
star
27

Example-Lean-Projects

Some examples of Lean projects, for undergraduate mathematicians.
Lean
22
star
28

RCDS-machine-learning-with-python

Getting started with scikit-learn for machine learning
Jupyter Notebook
22
star
29

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.
PHP
22
star
30

RCDS-intro-to-containers

22
star
31

csml-reading-group

Computational statistics and machine learning reading group at Imperial College London (2019-2020)
SCSS
22
star
32

spear-tools

SPEAR Challenge scripts and tools.
Python
21
star
33

UVLM

Unsteady Vortex Lattice Method for Aeroelasticity in C++
C++
21
star
34

porescale

Shell
18
star
35

poreFoam-singlePhase

Direct single-phase flow simulation and pre/post-processing codes
C++
18
star
36

RCDS-intro-to-machine-learning

Imperial College London / Graduate School / Data Science / Introduction to Machine Learning
17
star
37

poetry_template

Poetry-based Python application template with automated testing, CI and docs
Python
17
star
38

RCDS-data-processing-with-python

Imperial College London / Graduate School / Data Science / Data Processing with Python Pandas
Jupyter Notebook
17
star
39

pyrealm

Development of the pyrealm package, providing an integrated toolbox for modelling plant productivity, growth and demography using Python.
Python
16
star
40

GUIs-for-RS

Workshop on Graphical User Interfaces for Research Software
15
star
41

ComputerVision2018-19

Computer Vision 2018-19
Jupyter Notebook
14
star
42

M1P1-lean

Material from M1P1, formalised in Lean
Lean
14
star
43

RCDS-numerical-computing-in-python-with-numpy-and-scipy

Jupyter Notebook
14
star
44

R2T2

Research References Tracking Tool
Python
14
star
45

WInc3D

Wind Farm Simulator
Fortran
14
star
46

multifluids_icferst

Fortran
13
star
47

m1fexplained_lean3

A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
Lean
13
star
48

sap-sh-doa-estimation

Direction of arrival estimation algorithms in the spherical harmonics domain
MATLAB
13
star
49

fractalgenetics

Analysis of the genomic architecture and functional role of myocardial trabeculae
MATLAB
13
star
50

RCDS-writing-theses-in-latex

TeX
12
star
51

lean-maths-examples

Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics
Lean
12
star
52

RCDS-sampling-and-hypothesis-testing

Imperial College London / Graduate School / Data Science / Introduction to Sampling & Hypothesis Testing
HTML
12
star
53

RCDS-introduction-to-latex

TeX
11
star
54

RCDS-plotting-in-python-with-matplotlib

Jupyter Notebook
10
star
55

grad_school_software_engineering_course

Essential Software Engineering for Researchers
HTML
10
star
56

wsi

WSIMOD is a software for simulating water quality and quantity
Python
10
star
57

pytest_template_application

Python application template with automated QA and Docker image publishing
Python
10
star
58

M1F-explained

A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"
Lean
10
star
59

Multiview-Motion-Estimation-for-3D-cardiac-motion-tracking

Python
10
star
60

diastolic_genetics

Analysis of the genetic and environmental predictors of diastolic heart function
R
9
star
61

RCDS-further-hypothesis-testing

Imperial College London / Graduate School / Data Science / Further Hypothesis Testing
HTML
9
star
62

ReCoDe-Euler-Maruyama

ReCoDe project to showcase an implementation of the Euler-Maruyama numerical method to solve Stochastic Differential Equations
Python
9
star
63

imperial_latex_templates

Official LaTeX templates employing the Imperial College London brand.
TeX
9
star
64

python-guis

Python
9
star
65

US-covid19-agespecific-mortality-data

Extract COVID-19 age-specific mortality counts in U.S states and metropolitan areas
HTML
9
star
66

diophantine

Solving Diophantine equations in Lean
Lean
8
star
67

RCDS-data-exploration

Imperial College London / Graduate School / Data Science / Data Exploration & Visualisation
8
star
68

DirectSearch.jl

Direct search methods for derivative-free optimization
Julia
8
star
69

RCDS-managing-and-running-python-effectively

Python
8
star
70

guikit

Template to write GUIs based on wxPython that takes care of a large part of the boilerplate code to get started.
Python
8
star
71

BART-Int

Bayesian Probabilistic Numerical Integration with Tree-Based Models (using Bayesian Additive Regression Trees)
R
8
star
72

fragment-cloud

Semi-analytic atmospheric entry modelling for meteoroids
C++
8
star
73

grad_school_git_course

Using Git to Code, Collaborate and Share
HTML
8
star
74

virtual_ecosystem

This repository is the home for the codebase for the Virtual Ecosystem project.
Python
8
star
75

ReCoDE_Diffusion_Code

Repository for the ReCoDE project which aims to solve the Neutron Diffusion Equation
Fortran
8
star
76

al_cfd_benchmark

Active learning based regression for CFD cases
C++
8
star
77

cardiovascular_ageing

HTML
8
star
78

3DKSL

3D Motion Segmentation of Articulated Rigid Bodies based on RGB-D data
C++
7
star
79

RCDS-intro-to-r

Imperial College London / Graduate School / Data Science / Introduction to R
HTML
7
star
80

pure-maths-yamls

Descriptions of the main theorems and definitions in all the pure maths courses at Imperial
7
star
81

tcc-lean-alg-geom-2022

Experiments in algebraic geometry as part of the EPSRC Taught Course Centre course on formalising number theory and geometry
Lean
7
star
82

Computer_Vision_2022

Jupyter Notebook
7
star
83

acoustics-db

Python
7
star
84

rcs-pacemakers

Example of GPU-accelerated machine learning on the RCS compute cluster using Jupyter and conda
Jupyter Notebook
7
star
85

Computer_Vision_2020

CO315: Computer Vision, Spring Term, 2019 - 2020
Jupyter Notebook
6
star
86

RCDS-data-processing-with-r

Imperial College London / Graduate School / Data Science / Data Processing with R
HTML
6
star
87

django-passwordless-login

Login to your Django app with a link sent by email.
Python
6
star
88

covid19cumdeaths

R
6
star
89

RCDS-basic-statistics

Imperial College London / Graduate School / Data Science / Basic Statistics
R
6
star
90

ReCoDE_rnaseq_pipeline

A parallelised pipeline for the analysis of RNA sequencing data. This repository is part of Imperial College London's ReCoDE project, which aims to support teaching and learning in research computing and data science.
Shell
6
star
91

ReCoDE_IDMS

HTML
6
star
92

Computer_Vision_2023

Courseworks for Computer Vision 2023 (Spring Term)
Jupyter Notebook
6
star
93

rcs_flask_aad_login

Python package to allow Flask web applications to single sign-on through IC's Azure Active Directory
Python
6
star
94

Y2CL_Worksheet_Template

2nd Year Physics Computing Laboratory Worksheet
Python
6
star
95

condensed-sets

Condensed mathematics in Lean
Lean
5
star
96

MicroprocessorsLab

Code repository for Physics 3rd year Microprocessors Lab
Assembly
5
star
97

M1F_example_sheets

M1F 2018-19 example sheets in Lean
Lean
5
star
98

covid19local

Website for covid19 local analysis
HTML
5
star
99

openFrame

This repository is for the openFrame microscope and supporting projects
5
star
100

BSplinesProjectedGPs

R
5
star