Alternatives and similar repositories for Spherogram

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

• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆48Updated last week
• flatsurf / e-antic
  Embedded algebraic number fields
  ☆14Updated last week
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• sagemath / cypari2
  Python interface to the number theory library PARI/GP. Source repository for https://pypi.org/project/cypari2/
  ☆29Updated 2 weeks ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated 3 weeks ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆44Updated 5 years ago
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Updated 6 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• AlgebraicJulia / CombinatorialSpaces.jl
  Simplicial Sets and the Discrete Exterior Calculus
  ☆39Updated 3 weeks ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 7 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago
• chrisheunen / freetikz
  FreeTikZ
  ☆40Updated 7 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆31Updated last year
• 4ti2 / 4ti2
  A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…
  ☆43Updated 3 months ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆28Updated 12 years ago
• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆15Updated 9 months ago
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆78Updated last month
• ATOMSLab / LeanChemicalTheories
  ☆37Updated last year
• MathBases / MathBases
  ☆25Updated 2 weeks ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆73Updated last week
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last month
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆43Updated last year
• teorth / symmetric_project
  ☆93Updated last year
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated 5 months ago
• pitmonticone / LeanProject
  A template for blueprint-driven formalization projects in Lean.
  ☆75Updated last month