Alternatives and similar repositories for server

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

• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆298Updated last week
• XimeraProject / ximeraLatex
  Author tools for creating Ximera activities
  ☆43Updated this week
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆106Updated 9 months ago
• twjudson / aata
  Public repository for Abstact Algebra Theory and Applications
  ☆174Updated 2 months ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆110Updated 4 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆68Updated this week
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆28Updated 12 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆126Updated last year
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated last week
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆71Updated last year
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆89Updated 8 years ago
• perceptual-ai / sicm-scheme-exercises
  Exercises and notes on Structure and Interpretation of Classical Mechanics.
  ☆71Updated 3 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆189Updated 7 months ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 4 months ago
• ToposInstitute / poly
  ☆119Updated last year
• edemaine / coauthor
  Coauthor supercollaboration/discussion forum
  ☆267Updated 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
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆179Updated last year
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆227Updated 9 months ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• walck / learn-physics
  A library of functions for vector calculus, calculation of electric field, electric flux, magnetic field, and other quantities in mechani…
  ☆184Updated 2 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆160Updated last year
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆245Updated 6 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.
  ☆430Updated last week
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆308Updated 10 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆60Updated last month