Alternatives and similar repositories for Permuta

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

• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆278Updated last week
• MMesch / toeplitz_spectrum
  Ipython notebook that explains diagonalization of ciculant / Toeplitz matrices
  ☆15Updated 9 years ago
• MathBases / MathBases
  ☆25Updated last month
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆335Updated 2 years ago
• mscroggs / Logic-Bot
  @logicbot@mathstodon.xyz
  ☆21Updated 2 years ago
• bgschiller / latex-therefore
  Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a …
  ☆201Updated 8 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆301Updated last year
• koehlma / rigorous
  A framework for working with inference rules.
  ☆10Updated 4 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• abetten / orbiter
  Classification of combinatorial objects
  ☆19Updated 2 weeks ago
• neldredge / mathgen
  Generate random nonsense math papers
  ☆612Updated 5 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆915Updated 8 years ago
• Quelklef / mathsproofbot
  Writing proofs to Twitter since April 2020
  ☆12Updated 3 years ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated 4 months ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆30Updated last week
• thescrivener / PursuingStacks
  LaTeX version of Grothendieck's Pursuing Stacks
  ☆51Updated 4 years ago
• mscroggs / realhats
  realhats LaTeX package
  ☆115Updated 2 years ago
• chirun-ncl / chirun
  A Python package providing the command line interface for building flexible and accessible content with Chirun.
  ☆33Updated 3 weeks ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• Normaliz / PyNormaliz
  Python bindings for LibNormaliz
  ☆14Updated last week
• leanprover-community / format_lean
  A Lean file formatter
  ☆69Updated 2 years ago
• b-mehta / unit-fractions
  ☆16Updated last year
• davidalber / geneagrapher
  Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks
  ☆54Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆121Updated 2 months ago
• satlive / website
  SAT Live! web site
  ☆11Updated 6 months ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆122Updated last year
• 1000-plus / 1000-plus.github.io
  https://1000-plus.github.io/
  ☆17Updated last week
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆84Updated last month