Alternatives and similar repositories for infdesc

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

• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆170Updated this week
• 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
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated last week
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆65Updated last year
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆31Updated last year
• natestemen / rudin
  A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)
  ☆27Updated 3 years ago
• newOnahtaN / CS312-PrinciplesOfProgrammingLanguages
  Principles Of Programming Languages - Projects and Homeworks
  ☆71Updated 10 years ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆76Updated last month
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• lambda-magic / plt-books
  Books on programming language theory and linguistics in general.
  ☆54Updated 3 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆73Updated last year
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 3 years ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆59Updated 10 months ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆223Updated 4 months ago
• AMouri / artin-algebra
  Solutions to Algebra, by Michael Artin.
  ☆34Updated 8 years ago
• 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.
  ☆56Updated 4 months ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆69Updated this week
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆55Updated 5 months ago
• awodey / math
  Mathematical notes and papers
  ☆26Updated last month
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆153Updated last week
• thautwarm / gkdhighlight
  syntax highligher for GkdTeX
  ☆25Updated 4 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 2 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆18Updated last week
• WMX567 / Math-and-Algorithm-Learning
  A collection of books/notes for Math and Algorithm study (files available)
  ☆133Updated 7 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
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆75Updated last year
• jirilebl / scv
  Tasty Bits of Several Complex Variables, graduate textbook
  ☆17Updated 3 weeks ago
• wenweili / Yanqi-Algebra-3
  Yanqi Lake Lectures on Algebra, Part III
  ☆49Updated 4 months ago
• IUCompilerCourse / python-student-support-code
  Support for for students (Python)
  ☆64Updated last month