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 2 weeks ago
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆96Updated 2 weeks ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• embray / gappy
  Python interface to GAP
  ☆17Updated last year
• linbox-team / givaro
  Givaro - C++ library for arithmetic and algebraic computations
  ☆52Updated 2 weeks ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆74Updated this week
• gap-packages / guava
  GAP package guava - computations relative to error-correcting codes
  ☆16Updated 2 weeks ago
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆30Updated this week
• chrisheunen / freetikz
  FreeTikZ
  ☆39Updated 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…
  ☆21Updated last month
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆14Updated 3 weeks ago
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• sat-group / open-wbo
  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
  ☆77Updated last year
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated 2 weeks ago
• mkauers / ore_algebra
  ☆37Updated last week
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated last week
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆36Updated 2 years ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 4 months ago
• conp-solutions / mergesat
  configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…
  ☆41Updated last year
• michibo / tropical-feynman-quadrature
  Implementation of a tropical sampling algorithm for Euclidean parametric Feynman integrals
  ☆12Updated last month
• cr-marcstevens / m4gb
  M4GB: Efficient Groebner Basis algorithm
  ☆58Updated 6 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆28Updated 12 years ago
• MathBases / MathBases
  ☆24Updated last month
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆29Updated 2 weeks ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆76Updated 2 years ago
• williamstein / ant
  Algebra Number Theory book
  ☆48Updated 3 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆63Updated this week
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆67Updated 5 months ago
• defeo / ffisom
  A research project on isomorphisms of finite fields
  ☆16Updated 7 years ago
• MMesch / toeplitz_spectrum
  Ipython notebook that explains diagonalization of ciculant / Toeplitz matrices
  ☆15Updated 9 years ago