Alternatives and similar repositories for notes:

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

• 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
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 3 years ago
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆155Updated 4 years ago
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆58Updated this week
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 4 months 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
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆83Updated 4 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆51Updated last year
• chakravala / Math-Research-Notes
  Theorems, Definitions, Papers, Research
  ☆17Updated 5 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆200Updated 4 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆58Updated 4 months ago
• j2kun / essays
  Short essays I've written
  ☆75Updated last year
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• iiittheorygroup / iiittheorygroup.github.io
  "We must know. We shall know." - David Hilbert
  ☆21Updated last month
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 4 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆55Updated last month
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆59Updated 4 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago