Alternatives and similar repositories for sage-train-track

Users that are interested in sage-train-track are comparing it to the libraries listed below

• peterlefanulumsdaine / hott-limits
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Updated 10 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last week
• mkoeppe / cutgeneratingfunctionology
  Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…
  ☆12Updated 2 months ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆54Updated 2 years ago
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆35Updated last week
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆34Updated 7 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆15Updated 5 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 7 years ago
• 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…
  ☆22Updated 4 months ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆16Updated last month
• pablolessa / dibujos_hiperbolicos
  A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…
  ☆10Updated 2 years ago
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆70Updated 3 weeks ago
• ezyang / HoTT-coqex
  Coq solutions to exercises in HoTT book
  ☆12Updated 11 years ago
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆30Updated 11 years ago
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆14Updated this week
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 10 years ago
• dpiponi / Operators
  Some operator abuse
  ☆29Updated 8 years ago
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆44Updated last week
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆63Updated this week
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 3 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆33Updated last year
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated 2 weeks ago
• sagemath / publications
  Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage
  ☆25Updated 2 months ago
• sagemath / git-trac-command
  A "git trac" subcommand for git
  ☆13Updated 3 years ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆29Updated 5 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• lecopivo / HouLean
  Lean 4 as a scripting language in Houdini
  ☆21Updated last year
• sympy / sympy_benchmarks
  Some benchmarks of SymPy
  ☆15Updated 11 months ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 8 months ago