ImperialCollegeLondon/IUM external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ImperialCollegeLondon/IUM

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ImperialCollegeLondon/IUM)

Close

ImperialCollegeLondon / IUMView on GitHubMore

• External links
• Readme badge

Lean formalisation of parts of Imperial College London's Introduction to University Mathematics course

☆19Oct 21, 2025Updated 4 months ago

Alternatives and similar repositories for IUM

Users that are interested in IUM are comparing it to the libraries listed below

• vltanh / lean4-analysis-tao

  View on GitHub
  Formalization of "Analysis I" by Terence Tao
  ☆21May 6, 2025Updated 10 months ago
• mozzius / demesne

  View on GitHub
  plc key management app
  ☆29Sep 21, 2025Updated 5 months ago
• stampsy / WatchMen

  View on GitHub
  A Node.js service monitor
  ☆13Sep 16, 2014Updated 11 years ago
• genmon / lares

  View on GitHub
  A simple AI agent controlling a simulation of a smart home
  ☆13Jun 13, 2024Updated last year
• leoasis / react-style-hot-reload

  View on GitHub
  Exploring how to make react-style work with HMR and react-hot-loader
  ☆14May 12, 2015Updated 10 years ago
• mozzius / bsky-simple-viewer

  View on GitHub
  ☆10Oct 17, 2023Updated 2 years ago
• Zverik / 15minute

  View on GitHub
  15-minute city script
  ☆17Nov 8, 2025Updated 4 months ago
• xero / obsidian-md2html

  View on GitHub
  zero dependency plugin to export notes to html inside obsidian.md
  ☆10Sep 10, 2025Updated 5 months ago
• vslinko / hoc

  View on GitHub
  [TODO] Higher-order Components Helpers
  ☆12May 15, 2015Updated 10 years ago
• nestedloops / javascript-what-are-you-artwork

  View on GitHub
  The T-Shirt artwork of the JSConf EU performance.
  ☆10Sep 27, 2015Updated 10 years ago
• NyashaNziramasanga / react-native-horizontal-scroll-menu

  View on GitHub
  A horizontally scrolling tab/picker component for React Native
  ☆11Aug 7, 2024Updated last year
• thenewdarling / Spellbook

  View on GitHub
  Database of DnD 5e spells and other info to be used within Obsidian.
  ☆14Dec 11, 2022Updated 3 years ago
• OSS-Docs-Tools / sync

  View on GitHub
  Tools for syncing docs repos
  ☆11Jul 22, 2021Updated 4 years ago
• theletterf / valegen

  View on GitHub
  Generates Vale linter rules using LLMs and RAG
  ☆20Aug 17, 2025Updated 6 months ago
• redbug26 / pkklib

  View on GitHub
  pkklib - A free and open development kit for the clockworkPi PicoCalc
  ☆19Aug 13, 2025Updated 6 months ago
• nekocharm / picocalc-luckfox-lyra

  View on GitHub
  ☆17Sep 7, 2025Updated 6 months ago
• alexkuz / react-pagan

  View on GitHub
  ☆14Jan 3, 2018Updated 8 years ago
• mozilla / reflex-react-driver

  View on GitHub
  Unmaintained repository-updates likely needed. React based renderer for reflex
  ☆14Oct 20, 2015Updated 10 years ago
• Andreyco / sign-in-with-apple

  View on GitHub
  Sign in With Apple for React Native and Web
  ☆15Jan 4, 2023Updated 3 years ago
• akopdev / hugo-theme-chicago7

  View on GitHub
  A minimal, retro-inspired Hugo theme with an Apple System 7 aesthetic and zero JS
  ☆24Feb 2, 2026Updated last month
• soapdog / webextension-blogcat

  View on GitHub
  A WebExtension to make blogging a first-class citizen on Firefox.
  ☆26Jan 4, 2026Updated 2 months ago
• react-europe / cfp-lightnings-2015

  View on GitHub
  ReactEurope Lightning talks Call For Papers
  ☆14Oct 2, 2021Updated 4 years ago
• and-hyde / example

  View on GitHub
  An example blog for Gatsby and Hyde
  ☆12Sep 11, 2019Updated 6 years ago
• devsnek / proposal-unused-function-parameters

  View on GitHub
  ☆14Aug 12, 2020Updated 5 years ago
• zaratanDotWorld / choreWheel

  View on GitHub
  Computational governance tooling
  ☆16Updated this week
• kiwix / seeder

  View on GitHub
  Kiwix Catalog BitTorrent Seeder Companion
  ☆15Dec 8, 2025Updated 3 months ago
• emmyoh / zebra

  View on GitHub
  A vector database for querying meaningfully similar data.
  ☆16Mar 9, 2025Updated last year
• bombshell-dev / docs

  View on GitHub
  ☆18Jan 30, 2026Updated last month
• clessg / fuck-jsx

  View on GitHub
  Fuck JSX.
  ☆16Jul 16, 2015Updated 10 years ago
• evancz / local-channel

  View on GitHub
  Helps you write self-contained components in Elm
  ☆16Nov 22, 2015Updated 10 years ago
• promises-aplus / cancellation-spec

  View on GitHub
  Discussion and drafts of a possible promise cancellation spec.
  ☆25Sep 13, 2021Updated 4 years ago
• ryanflorence / nested-router

  View on GitHub
  ☆18Dec 21, 2014Updated 11 years ago
• paparga / elmish-react

  View on GitHub
  ☆12Nov 4, 2015Updated 10 years ago
• tachuris / fsa-creator

  View on GitHub
  Flux Standard Action creation with schema validation.
  ☆13Aug 18, 2016Updated 9 years ago
• ForbesLindesay / cancellation

  View on GitHub
  A method for making async operations cancellable
  ☆19Mar 18, 2020Updated 5 years ago
• muni-town / agentic-fediverse

  View on GitHub
  An outline and resources for the "Agentic Fediverse".
  ☆22Feb 15, 2025Updated last year
• steos / reactcards-example

  View on GitHub
  ☆14Aug 5, 2016Updated 9 years ago
• elierotenberg / react-nexus-chat

  View on GitHub
  Demo chat app using React Nexus.
  ☆18Jun 17, 2015Updated 10 years ago
• hugooliveirad / cubactive

  View on GitHub
  A reactive Cube to play with
  ☆18Jan 25, 2015Updated 11 years ago