Alternatives and similar repositories for conjecturing

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

• 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 this week
• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆10Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆15Updated 2 months ago
• AlgebraicJulia / ModelExploration.jl
  Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.
  ☆12Updated last year
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 11 years ago
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated 10 months ago
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆13Updated 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
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆31Updated last month
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• sagemath / git-trac-command
  A "git trac" subcommand for git
  ☆13Updated 3 years ago
• OpenDreamKit / OpenDreamKit
  Main repository for sharing files and documents about OpenDreamKit
  ☆91Updated 4 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆75Updated 11 months ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆18Updated last week
• bjodah / sym
  Unified interface to symbolic manipulation libraries in Python
  ☆9Updated 4 months ago
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated this week
• xtensor-stack / xtensor-julia
  Julia bindings for xtensor
  ☆19Updated 3 years ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆47Updated this week
• cellml / libcellml
  Repository for libCellML development.
  ☆17Updated 7 months ago
• probonto / ontology
  ☆15Updated 2 years ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆28Updated this week
• stites / CSSR
  Mirror of CSSR: An Algorithm for Building Markov Models from Time Series
  ☆21Updated 5 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆53Updated last week
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial Sets and the Discrete Exterior Calculus
  ☆38Updated 2 weeks ago
• IBM / datascienceontology
  Data Science Ontology
  ☆38Updated 2 months ago