Alternatives and similar repositories for conjecturing

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

• flatsurf / e-antic
  Embedded algebraic number fields
  ☆14Updated 2 months 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…
  ☆24Updated 2 weeks ago
• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 4 months ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated 2 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 8 years ago
• b-mehta / combinatorics
  ☆24Updated 3 years ago
• coulbois / sage-train-track
  Free group automorphisms and train-track representative in python/sage
  ☆12Updated 4 months ago
• mkoeppe / cutgeneratingfunctionology
  Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…
  ☆12Updated 4 months ago
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆50Updated 9 months ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Updated 7 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆56Updated 2 years ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆30Updated 12 years ago
• janverschelde / PHCpack
  The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
  ☆70Updated last week
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆86Updated 4 months ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 3 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated last month
• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆11Updated last year
• ATOMSLab / LeanChemicalTheories
  ☆37Updated last year
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆50Updated this week
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago
• gap-packages / PackageManager
  Basic package manager for GAP
  ☆12Updated 2 months ago
• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆15Updated last year
• semigroups / Semigroups
  The GAP package Semigroups
  ☆29Updated this week
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆30Updated this week
• leanprover-community / mathlib-changelog
  ☆14Updated last week
• olexandr-konovalov / gnu
  Crowdsourcing project for the database of numbers of isomorphism types of finite groups
  ☆12Updated last year
• BartoszPiotrowski / lean-premise-selection
  ☆22Updated 3 weeks ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆21Updated 2 weeks ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆33Updated last year
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆79Updated 2 weeks ago