Alternatives and similar repositories for Permuta:

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

• quantum-journal / o3po
  O-3PO - Open-source Open-access Overlay Publishing Option
  ☆10Updated 3 months ago
• thescrivener / PursuingStacks
  LaTeX version of Grothendieck's Pursuing Stacks
  ☆47Updated 3 years ago
• 0xnurl / fado-python3
  A quick Python 3 port of the FAdo Project
  ☆15Updated 7 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• jonschz / tikz-nfold
  Triple, quadruple, and n-fold paths and arrows with TikZ
  ☆13Updated last year
• PermutaTriangle / comb_spec_searcher
  a Python library for combinatorial exploration
  ☆12Updated 3 weeks ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• gvdgdo / biblatex-lncs
  BiBLaTeX style for Springer Lecture Notes in Computer Science
  ☆20Updated 5 years ago
• b-mehta / unit-fractions
  ☆15Updated last year
• OpenLogicProject / photos
  Digital images used as illustrations in the Open Logic Project
  ☆6Updated 8 years ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆36Updated 4 months ago
• PierreSenellart / apxproof
  LaTeX package for automatically putting proof environments in appendix
  ☆26Updated last year
• 3-manifolds / Spherogram
  Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…
  ☆19Updated 2 months ago
• semigroups / Semigroups
  The GAP package Semigroups
  ☆24Updated this week
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆122Updated 7 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…
  ☆119Updated last year
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆45Updated last month
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆26Updated this week
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆18Updated 10 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆225Updated last month
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆150Updated 2 weeks ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 2 months ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 6 months ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆56Updated last month
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆119Updated 8 months ago
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆79Updated 6 months ago