Alternatives and similar repositories for birkhoff:

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

• awodey / math
  Mathematical notes and papers
  ☆26Updated this week
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆31Updated last year
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• HoTT / Archive
  Archived materials related to Homotopy Type Theory.
  ☆10Updated 12 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• jirilebl / scv
  Tasty Bits of Several Complex Variables, graduate textbook
  ☆17Updated 3 weeks ago
• peterlefanulumsdaine / cartmell-thesis
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆15Updated 2 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆59Updated 5 months ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• HoTT / HoTT-2023
  Conference on Homotopy Type Theory 2023
  ☆13Updated last year
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆21Updated 3 years ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆13Updated 8 months ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated last month
• poeschko / Mathador
  a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)
  ☆38Updated 12 years ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 4 months ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆13Updated 3 months ago
• sonoisa / XyJax-v3
  Xy-pic extension for MathJax version 3
  ☆36Updated 2 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated this week
• ice1k / Theorems
  Theorems that rule this multiverse
  ☆11Updated 6 years ago
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 4 years ago
• rocq-community / buchberger
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆10Updated last year
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆40Updated last year
• HarrisonGrodin / ATPL24
  Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)
  ☆17Updated 8 months ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆12Updated 7 months ago
• WLTools / LanguageSpec
  A description of the language syntax and associated data, examples, and nonexamples.
  ☆18Updated 4 years ago