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 last month
• 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…
  ☆23Updated 2 weeks ago
• gap-packages / sgpdec
  GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
  ☆21Updated last week
• ATOMSLab / LeanChemicalTheories
  ☆37Updated last year
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 3 months ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated 2 years ago
• b-mehta / combinatorics
  ☆24Updated 3 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆50Updated this week
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated 3 weeks ago
• mkoeppe / cutgeneratingfunctionology
  Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…
  ☆12Updated 3 months ago
• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆11Updated last year
• flatsurf / surface-dynamics
  Teichmüller dynamics in SageMath
  ☆14Updated last week
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆55Updated last week
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆21Updated last week
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Updated 7 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 4 months ago
• utensil / lean4_jupyter
  A Lean 4 Jupyter kernel via repl
  ☆30Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆56Updated 2 years ago
• sagemath / pari-jupyter
  Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/
  ☆11Updated last year
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆30Updated last week
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆86Updated 3 months ago
• gap-packages / qpa
  GAP package for quivers and path algebras
  ☆33Updated last week
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆19Updated last year
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated 3 weeks ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆46Updated 7 years ago
• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆15Updated 11 months ago
• thosgood / translations
  some maths papers in English
  ☆19Updated 2 months ago
• leanprover-community / mathlib-changelog
  ☆12Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated 2 weeks ago
• apnelson1 / Matroid
  ☆12Updated this week