Alternatives and similar repositories for artin-algebra

Users that are interested in artin-algebra are comparing it to the libraries listed below

• hooyuser / Solution-to-Algebra-Chapter-0
  Solution to Algebra, Chapter 0
  ☆92Updated 3 months ago
• Name-Kompsky / tripos
  Cambridge Maths Tripos notes
  ☆36Updated 4 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆26Updated 5 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• darijgr / detnotes
  Notes on determinants and other concrete algebra (PRIMES 2015 reading project: problems and solutions)
  ☆16Updated 2 years ago
• vEnhance / von
  Olympiad problem database
  ☆49Updated last month
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆352Updated 9 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆102Updated 5 months 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…
  ☆119Updated last year
• chenjulang / rubikcubegroup
  rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/
  ☆12Updated last year
• banana-space / btex
  ☆49Updated last year
• Multramate / IC-GANT
  Imperial College London lecture notes for Geometry, Algebra, and Number Theory
  ☆38Updated last year
• Trebor-Huang / vscode-btex
  VSCode extension for bTeX.
  ☆21Updated last year
• mooculus / calculus
  ☆146Updated 3 weeks ago
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆83Updated last year
• mactonya / algebra-chapter-0-solutions
  The solution to Algebra : Chapter 0 by Paolo Aluffi.
  ☆31Updated last year
• wenweili / Modulform
  Introduction to Modular Forms: A Chinese textbook about modular forms
  ☆74Updated last month
• WMX567 / Math-and-Algorithm-Learning
  A collection of books/notes for Math and Algorithm study (files available)
  ☆134Updated 7 months ago
• leanprover / elan
  The Lean version manager
  ☆404Updated last month
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆46Updated 3 years ago
• UniMath / SymmetryBook
  This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
  ☆420Updated last week
• dasarpmar / lowerbounds-survey
  A survey of known lower bounds in arithmetic circuits.
  ☆31Updated 3 years ago
• vEnhance / dotfiles
  Dot files for Evan Chen (Arch Linux on i3)
  ☆118Updated 3 weeks ago
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆16Updated 2 weeks ago
• dwsmith1983 / Ahlfors-Complex-Analysis
  My solutions to Ahlfors Complex Analysis
  ☆26Updated 2 years ago
• choukh / Baby-Set-Theory
  Coq集合论中文教程
  ☆44Updated 3 years ago
• leanprover-community / mathlib-tools
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Updated last year
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆253Updated last year