Alternatives and similar repositories for infdesc:

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

• awodey / math
  Mathematical notes and papers
  ☆25Updated 2 months ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years 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…
  ☆81Updated last year
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆166Updated 7 months ago
• natestemen / rudin
  A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)
  ☆25Updated 3 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 2 months ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 5 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆66Updated last year
• leanprover-community / leanprover-community.github.io
  Hosts the website for mathlib and other Lean community infrastructure.
  ☆58Updated this week
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆44Updated last month
• williamstein / ent
  Elementary Number Theory: Primes, Congruences, and Secrets
  ☆108Updated last year
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆126Updated 3 weeks ago
• zellio / incrementum
  Incremental implementation of a scheme compiler
  ☆29Updated 12 years ago
• boazbk / tcscode
  Supplementary code for Introduction to Theoretical Computer Science book.
  ☆62Updated last year
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆71Updated 3 weeks ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• thautwarm / gkdhighlight
  syntax highligher for GkdTeX
  ☆24Updated 4 years ago
• leanprover / fp-lean
  Functional Programming in Lean
  ☆77Updated 10 months ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆49Updated 3 months ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆118Updated 8 months ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆28Updated this week
• dcernst / IBL-IntroToProof
  A textbook for the transition to proof course for mathematics majors utilizing IBL.
  ☆45Updated last week
• math-comp / mcb
  Mathematical Components (the Book)
  ☆141Updated last year
• newOnahtaN / CS312-PrinciplesOfProgrammingLanguages
  Principles Of Programming Languages - Projects and Homeworks
  ☆68Updated 9 years ago
• LighghtEeloo / magic-in-ten-mins-ml
  十分钟魔法练习 in OCaml
  ☆33Updated 2 years ago
• UniMath / Schools
  ☆81Updated 6 months ago