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 3 weeks ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• peterlefanulumsdaine / cartmell-thesis
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆15Updated 2 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• jirilebl / scv
  Tasty Bits of Several Complex Variables, graduate textbook
  ☆17Updated this week
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 9 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 10 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated last year
• HoTT / Archive
  Archived materials related to Homotopy Type Theory.
  ☆10Updated 13 years ago
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 2 years ago
• leanprover / super
  Superposition prover
  ☆17Updated 2 years ago
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆12Updated 9 months ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 11 years ago
• JerryI / wl-wlx
  Wolfram Language XML syntax extension (a superset of WL and XML) for building web-apps
  ☆17Updated last month
• andrejbauer / partial-combinatory-algebras
  A Lean 4 formalization of partial combinatory algebras.
  ☆14Updated 5 months ago
• byorgey / species
  ☆17Updated last year
• poeschko / Mathador
  a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)
  ☆38Updated 13 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• mit-frap / spring20
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19Updated 5 years ago
• rzach / boxes-and-diamonds
  Open textbook on modal logic
  ☆23Updated 3 years ago
• racket / algol60
  ☆12Updated 3 weeks ago
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 4 years ago
• nachivpn / k
  Meta-theory and normalization for Fitch-style modal lambda calculi
  ☆18Updated last year
• HoTT / HoTT-2023
  Conference on Homotopy Type Theory 2023
  ☆13Updated last year