Alternatives and similar repositories for ic-second-year-notes

Users that are interested in ic-second-year-notes are comparing it to the libraries listed below

• jordanspooner / ic-first-year-notes

  View on GitHub
  Notes for first year Computing at Imperial College London
  ☆54Feb 13, 2022Updated 4 years ago
• afd / JavaTutorialQuestions

  View on GitHub
  Tutorial Questions for the Programming II course at Imperial College London
  ☆53Apr 11, 2023Updated 2 years ago
• Imperial-MATH50003 / MATH50003NumericalAnalysis2022-23

  View on GitHub
  Notes and course material for MATH50003 Numerical Analysis (2022–2023)
  ☆54Jan 4, 2024Updated 2 years ago
• kex-y / M4000x_LEAN_formalisation

  View on GitHub
  Formalising lecture notes from 1st year Imperial Mathematics course.
  ☆14May 18, 2020Updated 5 years ago
• leanprover-community / leancrawler

  View on GitHub
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Mar 20, 2024Updated last year
• ImperialCollegeLondon / M1P1-lean

  View on GitHub
  Material from M1P1, formalised in Lean
  ☆15Nov 2, 2019Updated 6 years ago
• ooni / translations

  View on GitHub
  OONI translations
  ☆13Jun 26, 2025Updated 7 months ago
• almet / facebook-group-archiver

  View on GitHub
  This is a tool to generate an archive of a Facebook group's discussions.
  ☆15Feb 28, 2018Updated 7 years ago
• my2iu / babylscript

  View on GitHub
  Babylscript is a modification of the Mozilla Rhino JavaScript engine for Java. It extends JavaScript to support multiple languages like F…
  ☆22Oct 26, 2019Updated 6 years ago
• waasiq / yakamoz

  View on GitHub
  An interpreted Turkish programming language
  ☆13Apr 18, 2022Updated 3 years ago
• OliverKillane / Imperial-Computing-Notes

  View on GitHub
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆95Mar 23, 2024Updated last year
• timothyylim / Imperial-College

  View on GitHub
  course material for the msc. in computer science
  ☆20Nov 21, 2016Updated 9 years ago
• cbeuw / iiiD6

  View on GitHub
  A hydrogen atom orbital wave function renderer based on random sampling
  ☆29Jun 26, 2023Updated 2 years ago
• ImperialCollegeLondon / M40001_lean

  View on GitHub
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Mar 9, 2024Updated last year
• OliverKillane / Imperial-Computing-Year-2-Notes

  View on GitHub
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆42Mar 14, 2023Updated 2 years ago
• Multramate / IC-GANT

  View on GitHub
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆52Oct 14, 2023Updated 2 years ago
• dtcxzyw / OI-Source

  View on GitHub
  OI代码仓库、复习笔记、代码模板、本地Judger
  ☆60Dec 17, 2021Updated 4 years ago
• leanprover / lean3-mode

  View on GitHub
  Emacs mode for Lean
  ☆68Jun 11, 2023Updated 2 years ago
• cryptorife / pine-scripts

  View on GitHub
  ☆71Mar 17, 2023Updated 2 years ago
• mpedramfar / Lean-game-maker

  View on GitHub
  This project converts structured Lean code into an interactive browser game.
  ☆79Nov 15, 2023Updated 2 years ago
• leanprover-community / format_lean

  View on GitHub
  A Lean file formatter
  ☆71Feb 3, 2023Updated 3 years ago
• ImperialCollegeLondon / real-number-game

  View on GitHub
  A gamification of the theorems in MATH40002 Analysis 1
  ☆83Feb 5, 2023Updated 3 years ago
• ImperialCollegeLondon / formalising-mathematics-2022

  View on GitHub
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆122Mar 9, 2024Updated last year
• thehottgame / TheHoTTGame

  View on GitHub
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆133Aug 19, 2025Updated 5 months ago
• kbuzzard / xena

  View on GitHub
  Lean Library currently studying for a degree at Imperial College
  ☆229Feb 14, 2025Updated last year
• metamath / set.mm

  View on GitHub
  Metamath source file for logic and set theory
  ☆302Updated this week
• martinescardo / HoTTEST-Summer-School

  View on GitHub
  HoTTEST Summer School materials
  ☆323Jun 3, 2025Updated 8 months ago
• digama0 / mm0

  View on GitHub
  Metamath Zero specification language
  ☆375Updated this week
• the1lab / 1lab

  View on GitHub
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆420Jan 28, 2026Updated 2 weeks ago
• hwayne / lets-prove-leftpad

  View on GitHub
  Proving leftpad correct two-dozen different ways
  ☆718Apr 21, 2025Updated 9 months ago
• leanprover / lean3

  View on GitHub
  Lean Theorem Prover
  ☆2,157Oct 14, 2023Updated 2 years ago
• namisan / mt-dnn

  View on GitHub
  Multi-Task Deep Neural Networks for Natural Language Understanding
  ☆2,257Mar 7, 2024Updated last year
• dafny-lang / dafny

  View on GitHub
  Dafny is a verification-aware programming language
  ☆3,289Dec 12, 2025Updated 2 months ago
• talent-plan / tinykv

  View on GitHub
  A course to build distributed key-value service based on TiKV model
  ☆3,875May 3, 2025Updated 9 months ago
• hzwer / shareOI

  View on GitHub
  算法竞赛课件分享
  ☆4,388Sep 23, 2025Updated 4 months ago
• JunMa11 / SegLossOdyssey

  View on GitHub
  A collection of loss functions for medical image segmentation
  ☆3,998Nov 1, 2023Updated 2 years ago
• ThilinaRajapakse / simpletransformers

  View on GitHub
  Transformers for Information Retrieval, Text Classification, NER, QA, Language Modelling, Language Generation, T5, Multi-Modal, and Conve…
  ☆4,231Aug 25, 2025Updated 5 months ago
• ShameCom / ShameCom

  View on GitHub
  收集校招污点公司或组织，帮助学弟学妹避雷。互联网不曾遗忘！
  ☆5,605Jun 7, 2022Updated 3 years ago
• huggingface / accelerate

  View on GitHub
  🚀 A simple way to launch, train, and use PyTorch models on almost any device and distributed configuration, automatic mixed precision (i…
  ☆9,491Feb 6, 2026Updated last week