Alternatives and similar repositories for orbiter

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

• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated 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
  ☆32Updated last year
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated last week
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆13Updated last month
• linbox-team / fflas-ffpack
  FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package
  ☆62Updated this week
• 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…
  ☆22Updated last week
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆26Updated 7 months ago
• flintlib / antic
  Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆61Updated 2 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆73Updated last year
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• embray / gappy
  Python interface to GAP
  ☆17Updated last year
• ImperialCollegeLondon / formalising-mathematics-2023
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Updated last year
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆29Updated this week
• 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 last week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆44Updated last year
• yangky11 / lean4-example
  ☆13Updated 2 weeks ago
• MathBases / MathBases
  ☆23Updated last week
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years 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
• linbox-team / linbox
  LinBox - C++ library for exact, high-performance linear algebra
  ☆91Updated 3 weeks ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆195Updated last week
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆28Updated 2 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last month
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 6 months ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated last week
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆63Updated 7 months ago
• teorth / symmetric_project
  ☆91Updated last year