Alternatives and similar repositories for orbiter

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

• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆63Updated 3 months ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• mkauers / ore_algebra
  ☆37Updated last month
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated 3 weeks ago
• jakobmoosbauer / flips
  ☆17Updated 3 weeks ago
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆14Updated last month
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆76Updated 3 weeks ago
• gap-packages / guava
  GAP package guava - computations relative to error-correcting codes
  ☆18Updated last month
• michibo / tropical-feynman-quadrature
  Implementation of a tropical sampling algorithm for Euclidean parametric Feynman integrals
  ☆13Updated 4 months ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated 3 weeks ago
• chrisheunen / freetikz
  FreeTikZ
  ☆41Updated 7 years ago
• embray / gappy
  Python interface to GAP
  ☆18Updated 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…
  ☆23Updated this week
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆97Updated 2 months ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆141Updated 2 weeks ago
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆71Updated 7 years ago
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆112Updated this week
• MathBases / MathBases
  ☆27Updated 2 months ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆401Updated last week
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated last week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆55Updated this week
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆31Updated 2 years ago
• MMesch / toeplitz_spectrum
  Ipython notebook that explains diagonalization of ciculant / Toeplitz matrices
  ☆15Updated 9 years ago
• dominique-unruh / qrhl-tool
  Proof assistant for qRHL
  ☆22Updated last month
• 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 month
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated 3 weeks ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated last year
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated 2 years ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 2 months ago