Alternatives and similar repositories for conjecturing

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

• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆14Updated last month
• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆10Updated 11 months ago
• b-mehta / combinatorics
  ☆23Updated 3 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 this week
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆13Updated last month
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• sagemath / git-trac-command
  A "git trac" subcommand for git
  ☆13Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆28Updated last week
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• psteinb / covid19-curve-your-city
  Extrapolation der COVID19 Fallzahlen
  ☆9Updated 2 years ago
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated 9 months ago
• rwbarton / lean-homotopy-theory
  A development of homotopy theory in the Lean formal theorem prover.
  ☆15Updated 4 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• mkoeppe / cutgeneratingfunctionology
  Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…
  ☆12Updated 5 months ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆18Updated this week
• dpiponi / Legendre
  Some notes on the relationship between the Legendre and Fourier transforms
  ☆11Updated 4 years ago
• emilydumas / slview
  Visualize subsets of PSL(2,R) in exterior solid torus model
  ☆12Updated 4 years ago
• pablolessa / dibujos_hiperbolicos
  A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…
  ☆10Updated last year
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• BigBayes / BNPMix.jl
  Bayesian Nonparametric Mixture Models in Julia
  ☆14Updated 7 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• appliedgeometry / poissongeometry
  A Python module for (local) Poisson-Nijenhuis calculus on Poisson manifolds
  ☆13Updated 7 months ago
• JohnCremona / eclib
  The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…
  ☆23Updated last week