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
  ☆62Updated last month
• gap-packages / guava
  GAP package guava - computations relative to error-correcting codes
  ☆16Updated this week
• embray / gappy
  Python interface to GAP
  ☆17Updated last year
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated this week
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆13Updated this week
• maximaximal / Paracooba
  Distributed and ressource elastic cube-and-conquer SAT & QBF solver
  ☆20Updated 2 years ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆94Updated 3 weeks 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…
  ☆105Updated this week
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆74Updated this week
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 5 years ago
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆29Updated last week
• mkauers / ore_algebra
  ☆37Updated 3 weeks ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆87Updated last month
• MMesch / toeplitz_spectrum
  Ipython notebook that explains diagonalization of ciculant / Toeplitz matrices
  ☆15Updated 9 years ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆384Updated this week
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• passagemath / upstream-LiDIA
  LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …
  ☆30Updated 4 months ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 11 months ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 4 months ago
• cbouilla / spasm
  a Sparse Direct Solver modulo p
  ☆26Updated 9 months ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated this week
• arminbiere / lingeling
  Lingeling SAT Solver
  ☆103Updated last year
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆56Updated 6 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆50Updated 3 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated 2 weeks ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆28Updated 12 years ago