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
  Notes for first year Computing at Imperial College London
  ☆50Updated 3 years ago
• jordanspooner / ic-third-year-notes
  Notes for third year Computing at Imperial College London (incomplete)
  ☆11Updated 6 years ago
• OliverKillane / Imperial-Computing-Year-2-Notes
  Notes for the Lectures of Year 2 Computing 2021-22
  ☆41Updated 2 years ago
• OliverKillane / Imperial-Computing-Notes
  A selection of textbook-like course notes for the Imperial College Computing modules.
  ☆77Updated last year
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆36Updated last year
• Nicholas42 / AlgebraFranke
  Notes on the algebra courses taught by Jens Franke at the university of Bonn beginning in the summer semester 2017
  ☆16Updated 3 years ago
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆50Updated 2 years ago
• ImperialCollegeLondon / 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/Imp…
  ☆120Updated last year
• jordanspooner / haskell-tests
  My past paper solutions for the Haskell final test at Imperial College London
  ☆7Updated 7 years ago
• EisenIn / Algebre-Lineaire-2
  Course Material for my course Linear Algebra 2 (in french)
  ☆11Updated 3 weeks ago
• lin-e / imperial-revision
  ☆17Updated 3 years ago
• BrownCS1951x / fpv2023
  Lecture notes, exercises, homeworks for Brown CS1951x 2023
  ☆13Updated last year
• tducvu / LectureNotes
  My typed-up math lecture notes
  ☆15Updated 2 years ago
• mariainesdff / ai_math_tcs
  An introduction to theorem proving in Lean for the impatient.
  ☆17Updated 3 weeks ago
• cbuntain / umd.inst414
  Course Material for the iSchool at UMD's INST414, Data Science Techniques
  ☆16Updated last year
• stephenbeckr / time-series-class
  MATH/STAT 4540/5540 Introduction to Time Series, spring 2022
  ☆9Updated 2 years ago
• UoB-COMS21202 / lab_sheets_public
  Lab sheets for COMS21202 2019/2020
  ☆16Updated 4 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• mikinty / Axler-Linear-Algebra-Solutions
  Solutions to Linear Algebra Done Right by Sheldon Axler, 3rd Edition
  ☆16Updated 2 years ago
• choukh / MetaZF
  Coq集合模型论
  ☆11Updated 2 years ago
• ImperialCollegeLondon / formalising-mathematics-2024
  Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
  ☆208Updated last month
• ShereenElaidi / mathnotes
  Math notes from my whole degree :-) (And one CS class, and some fun physics)
  ☆24Updated last year
• ppolesiuk / type-systems-notes
  Lecture notes for the Type Systems course given in Autumn 2023
  ☆11Updated last year
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆67Updated last year
• leanprover-community / lean4-metaprogramming-book
  ☆241Updated last month
• leanprover-community / NNG4
  Natural Number Game
  ☆157Updated last month
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆104Updated 5 months ago
• b-mehta / unit-fractions
  ☆15Updated last year
• HanbaekLyu / Math156_UCLA_SP21
  Repository for Math 156 Machine Learning at UCLA in Spring 2021 (Instructor: Hanbaek Lyu)
  ☆14Updated 3 years ago