Alternatives and similar repositories for sage-train-track

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

• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated last month
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• peterlefanulumsdaine / hott-limits
  A formalization of (homotopy) limits in Homotopy Type Theory
  ☆11Updated 10 years ago
• gap-packages / JupyterKernel
  Native Jupyter kernel for GAP
  ☆19Updated 3 months ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆28Updated 4 years ago
• mkoeppe / cutgeneratingfunctionology
  Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…
  ☆12Updated 6 months ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 10 years ago
• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆10Updated last year
• dpiponi / Legendre
  Some notes on the relationship between the Legendre and Fourier transforms
  ☆11Updated 4 years ago
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated 9 months ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• shaunharker / CHomP
  CHomP -- Computation Homology Project software
  ☆47Updated last year
• chrisnc / hvx
  Disciplined Convex Programming in Haskell
  ☆22Updated last year
• sdiehl / cats
  Generate commutative diagrams inside of Pandoc with Tikz
  ☆35Updated 7 years ago
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆14Updated this week
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆12Updated 3 months ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated last week
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 2 months ago
• fsestini / zsyntax
  Automated theorem prover for a linear logic-based calculus for molecular biology.
  ☆12Updated 2 years 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 6 months 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…
  ☆21Updated 3 weeks ago
• bjodah / sym
  Unified interface to symbolic manipulation libraries in Python
  ☆9Updated 4 months ago
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆38Updated this week
• pygae / GAlgebra.jl
  Julia interface to GAlgebra via PyCall
  ☆17Updated last week
• peterlefanulumsdaine / cartmell-thesis
  HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”
  ☆15Updated 2 years ago
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆13Updated last week