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 5 months ago
• 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
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last week
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆50Updated last week
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆62Updated 2 years ago
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆30Updated last month
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆14Updated 2 months ago
• mkauers / ore_algebra
  ☆38Updated 2 weeks ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆97Updated 3 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆41Updated 8 years ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 4 years ago
• maximaximal / Paracooba
  Distributed and ressource elastic cube-and-conquer SAT & QBF solver
  ☆20Updated 3 years ago
• gap-packages / guava
  GAP package guava - computations relative to error-correcting codes
  ☆18Updated this week
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆22Updated 4 months ago
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆143Updated last week
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆51Updated 9 months ago
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆53Updated 5 months ago
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated 2 years ago
• cbouilla / spasm
  a Sparse Direct Solver modulo p
  ☆30Updated last year
• embray / gappy
  Python interface to GAP
  ☆18Updated last year
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆64Updated this week
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆30Updated 12 years ago
• jakobmoosbauer / flips
  ☆18Updated 2 months ago
• MathBases / MathBases
  ☆27Updated last week
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 4 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last month
• 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
• 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…
  ☆114Updated this week
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated last month
• defeo / ffisom
  A research project on isomorphisms of finite fields
  ☆16Updated 7 years ago