Alternatives and similar repositories for notes:

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

• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆65Updated last year
• bollu / ward
  WARD is a minimal, performant infinite whiteboard app for wacom tablets
  ☆21Updated 3 years ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆27Updated 3 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 3 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆52Updated 4 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 4 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆58Updated this week
• thosgood / sga
  An English translation of the Séminaire de Géométrie Algébrique du Bois Marie
  ☆31Updated last week
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• jakebian / kan
  Kan: A browser extension for reading nLab
  ☆26Updated 6 years ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆167Updated 2 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 2 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• stanford-cs242 / f18-assignments
  ☆23Updated 6 years ago
• j2kun / essays
  Short essays I've written
  ☆75Updated last year
• bollu / discrete-differential-geometry
  An elegant implementation of discrete diffgeo in haskell
  ☆33Updated 5 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆67Updated last month
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 4 years ago
• UniMath / Schools
  ☆79Updated 5 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last month
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• ProjitB / LearnVimEasily
  Compilation of notes I've written on VIM from a variety of sources, which hopefully showcases at least some of the cool functionality of …
  ☆31Updated 4 years ago