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 last month
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• 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
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 9 years ago
• poeschko / Mathador
  a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)
  ☆38Updated 13 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• forax / write_your_dynamic_language_runtime
  How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM
  ☆16Updated 3 months ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• Deducteam / SizeChangeTool
  A termination checker for higher-order rewriting with dependent types
  ☆10Updated 5 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• peterlefanulumsdaine / cartmell-thesis
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆15Updated 2 years ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆13Updated 9 months ago
• JerryI / wl-wlx
  Wolfram Language XML syntax extension (a superset of WL and XML) for building web-apps
  ☆17Updated 2 weeks ago
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 5 months ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• jirilebl / scv
  Tasty Bits of Several Complex Variables, graduate textbook
  ☆17Updated 3 weeks ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• djvelleman / HTPILeanPackage
  ☆31Updated 2 weeks ago
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 6 years 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
• HoTT / HoTT-2023
  Conference on Homotopy Type Theory 2023
  ☆13Updated last year
• byorgey / species
  ☆17Updated last year
• opencompl / lean-gap
  An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4
  ☆15Updated 3 years ago