Repositories list

• FLT

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

  Lean

  •

  Apache License 2.0

  •52•329•21•4•Updated Jan 20, 2025Jan 20, 2025

• imperial_coldfront_plugin

  Public
  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •1•0•28•1•Updated Jan 20, 2025Jan 20, 2025

• RCDS-intro-to-containers

  Public
  MIT License

  •9•24•0•0•Updated Jan 20, 2025Jan 20, 2025

• FROG

  Public
  A graphical user interface for controlling and monitoring an interferometer device

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •1•3•24•6•Updated Jan 20, 2025Jan 20, 2025

• fair-data-repository

  Public
  JavaScript

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•45•1•Updated Jan 20, 2025Jan 20, 2025

• virtual_ecosystem

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

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •2•9•80•5•Updated Jan 20, 2025Jan 20, 2025

• unit_testing_Cpp_exercises

  Public
  Skeleton code to go with the C++ unit testing course

  C++

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•0•1•Updated Jan 20, 2025Jan 20, 2025

• pyrealm

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

  Python

  •

  MIT License

  •9•23•47•9•Updated Jan 20, 2025Jan 20, 2025

• pip-tools-template

  Public template
  Template for a pip-tools-based python project without docs and license information

  Python

  •0•3•1•0•Updated Jan 20, 2025Jan 20, 2025

• paricia

  Public
  Hydroclimatic data collection and information system

  hacktoberfest

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•14•6•Updated Jan 20, 2025Jan 20, 2025

• gridlington-datahub

  Public
  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •0•2•2•1•Updated Jan 20, 2025Jan 20, 2025

• drunc_ui

  Public
  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•17•1•Updated Jan 20, 2025Jan 20, 2025

• SWMManywhere

  Public
  SWMManywhere is used to derive and simulate a sewer network anywhere in the world

  pythonhacktoberfeststormwater+ 5hydrology-stormwater-analysisswmm5swmmswmmanywherehydraulic-modelling

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •1•10•82•3•Updated Jan 20, 2025Jan 20, 2025

• wsi

  Public
  WSIMOD is a software for simulating water quality and quantity

  pythonpollutionwater-quality+ 4hydrologyhacktoberfestwastewaterintegrated-modelling

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •2•13•30•1•Updated Jan 20, 2025Jan 20, 2025

• bubble_analyser

  Public
  hacktoberfest

  Python

  •

  GNU General Public License v3.0

  •0•1•4•6•Updated Jan 20, 2025Jan 20, 2025

• safedata_validator

  Public
  Python tools to validate and publish datasets using the safedata metadata format.

  pythonvalidationdataset

  Python

  •

  MIT License

  •4•2•15•3•Updated Jan 20, 2025Jan 20, 2025

• Faraday-liionsden

  Public
  engineeringdjangodatabase+ 4researchbatterydjango-rest-frameworkdjango-guardian

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •1•2•23•6•Updated Jan 20, 2025Jan 20, 2025

• pycsvy

  Public
  Python reader/writer for CSV files with YAML header information

  hacktoberfest

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •7•7•17•8•Updated Jan 20, 2025Jan 20, 2025

• FINESSE_processing

  Public
  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •0•2•19•1•Updated Jan 20, 2025Jan 20, 2025

• adiposity_ageing

  Public
  Jupyter Notebook

  •

  MIT License

  •0•0•0•0•Updated Jan 20, 2025Jan 20, 2025

• csml-reading-group

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

  SCSS

  •2•24•8•0•Updated Jan 20, 2025Jan 20, 2025

• RCDS-parallel-programming-in-python

  Public
  Jupyter Notebook

  •0•1•0•0•Updated Jan 20, 2025Jan 20, 2025

• MAG-Data-Visualization-Toolbox

  Public
  MATLAB Data Visualization for MAG data.

  MATLAB

  •

  MIT License

  •1•0•11•0•Updated Jan 20, 2025Jan 20, 2025

• RSEBlog

  Public
  1•1•4•2•Updated Jan 20, 2025Jan 20, 2025

• python-template

  Public
  A template for Python projects using cookiecutter

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •2•6•7•0•Updated Jan 20, 2025Jan 20, 2025

• pnextract

  Public
  Pore network extraction from micro-CT images of porous media

  extractionpore-network

  C++

  •29•55•2•0•Updated Jan 17, 2025Jan 17, 2025

• icl-rcs-user-guide

  Public
  6•2•4•0•Updated Jan 17, 2025Jan 17, 2025

• Supervoxel-segmentation-for-multiphase-X-ray-images

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Jan 16, 2025Jan 16, 2025

• coldfront_development_environment

  Public
  Python

  •0•0•0•0•Updated Jan 16, 2025Jan 16, 2025

• OstRipening

  Public
  Python

  •1•1•1•0•Updated Jan 16, 2025Jan 16, 2025