Discover ImperialCollegeLondon/RCDS-introduction-to-fortran Open

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

295

natural_number_game

Speech Processing Toolbox for MATLAB

289

sap-voicebox

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

233

M40001_lean

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

155

sharpy

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

118

formalising-mathematics-2022

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

118

FLT

A Django app providing a server implemention for the Filepond file upload library

114

django-drf-filepond

A gamification of the theorems in MATH40002 Analysis 1

102

real-number-game

Imperial College London Optimal Control Software (ICLOCS)

ICLOCS

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

formalising-mathematics-2024

Building group theory from scratch in Lean

group-theory-game

M4 algebraic geometry course in Lean

M4P33

Pore network extraction from micro-CT images of porous media

pnextract

repository for material for Jan-Mar 2023 course on formalising mathematics

formalising-mathematics-2023

Event-based vision motion estimation

epidemia

epidemia package

EventEMin

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

Visual2

RCDS-comm-line

https://github.com/kmichali/GS_comm_line

Classical network (extraction and) flow simulation

pnflow

complex-number-game

The Complex Number Game. Make the complex numbers in Lean.

RCDS-profiling-and-optimisation-in-python

RCDS-object-oriented-python

A place to put our 2018 Xena project UROP thoughts and programs.

xena-UROP-2018

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

porefoam

Example-Lean-Projects

Some examples of Lean projects, for undergraduate mathematicians.

Getting started with scikit-learn for machine learning

RCDS-machine-learning-with-python

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.

EpiCollectplus

PHP

RCDS-intro-to-containers

csml-reading-group

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

SCSS

spear-tools

SPEAR Challenge scripts and tools.

Unsteady Vortex Lattice Method for Aeroelasticity in C++

UVLM

Direct single-phase flow simulation and pre/post-processing codes

porescale

Shell

poreFoam-singlePhase

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

RCDS-intro-to-machine-learning

poetry_template

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

Imperial College London / Graduate School / Data Science / Data Processing with Python Pandas

RCDS-data-processing-with-python

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

pyrealm

Workshop on Graphical User Interfaces for Research Software

GUIs-for-RS

ComputerVision2018-19

Computer Vision 2018-19

Material from M1P1, formalised in Lean

M1P1-lean

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

Research References Tracking Tool

R2T2

WInc3D

multifluids_icferst

m1fexplained_lean3

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

Direction of arrival estimation algorithms in the spherical harmonics domain

sap-sh-doa-estimation

Analysis of the genomic architecture and functional role of myocardial trabeculae

fractalgenetics

RCDS-writing-theses-in-latex

Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics

lean-maths-examples

WSIMOD is a software for simulating water quality and quantity

wsi

Imperial College London / Graduate School / Data Science / Introduction to Sampling & Hypothesis Testing

RCDS-sampling-and-hypothesis-testing

RCDS-introduction-to-latex

RCDS-plotting-in-python-with-matplotlib

Essential Software Engineering for Researchers

grad_school_software_engineering_course

Python application template with automated QA and Docker image publishing

pytest_template_application

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

M1F-explained

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

Analysis of the genetic and environmental predictors of diastolic heart function

diastolic_genetics

RCDS-further-hypothesis-testing

Imperial College London / Graduate School / Data Science / Further Hypothesis Testing

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

ReCoDe-Euler-Maruyama

Official LaTeX templates employing the Imperial College London brand.

imperial_latex_templates

python-guis

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

US-covid19-agespecific-mortality-data

Solving Diophantine equations in Lean

diophantine

Imperial College London / Graduate School / Data Science / Data Exploration & Visualisation

RCDS-data-exploration

DirectSearch.jl

Direct search methods for derivative-free optimization

Julia

RCDS-managing-and-running-python-effectively

Bayesian Probabilistic Numerical Integration with Tree-Based Models (using Bayesian Additive Regression Trees)

BART-Int

fragment-cloud

Semi-analytic atmospheric entry modelling for meteoroids

Using Git to Code, Collaborate and Share

grad_school_git_course

This repository is the home for the codebase for the Virtual Ecosystem project.

virtual_ecosystem

Repository for the ReCoDE project which aims to solve the Neutron Diffusion Equation

ReCoDE_Diffusion_Code

Fortran

cardiovascular_ageing

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

guikit

3D Motion Segmentation of Articulated Rigid Bodies based on RGB-D data

3DKSL

Imperial College London / Graduate School / Data Science / Introduction to R

RCDS-intro-to-r

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

pure-maths-yamls

tcc-lean-alg-geom-2022

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

Computer_Vision_2022

acoustics-db

Active learning based regression for CFD cases

al_cfd_benchmark

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

rcs-pacemakers

CO315: Computer Vision, Spring Term, 2019 - 2020

Computer_Vision_2020

Imperial College London / Graduate School / Data Science / Data Processing with R

RCDS-data-processing-with-r

django-passwordless-login

Imperial College London / Graduate School / Data Science / Basic Statistics

covid19cumdeaths

RCDS-basic-statistics

ReCoDE_IDMS

Courseworks for Computer Vision 2023 (Spring Term)

Computer_Vision_2023

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

rcs_flask_aad_login

2nd Year Physics Computing Laboratory Worksheet

Y2CL_Worksheet_Template

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.

ReCoDE_rnaseq_pipeline

Shell

condensed-sets

Condensed mathematics in Lean

Code repository for Physics 3rd year Microprocessors Lab

MicroprocessorsLab

Assembly

M1F_example_sheets

M1F 2018-19 example sheets in Lean

Website for covid19 local analysis

covid19local