Alternatives and similar repositories for geogebra-discovery

Users that are interested in geogebra-discovery are comparing it to the libraries listed below

• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆19Updated last year
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆29Updated 3 years ago
• ATOMSLab / LeanChemicalTheories
  ☆34Updated last year
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆73Updated last year
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆47Updated 2 weeks ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆67Updated last year
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆43Updated 2 weeks ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• ryanmaguire / Mathematics-and-Physics
  Various notes on mathematics and physics organized in several volumes.
  ☆9Updated last month
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated last week
• homalg-project / CAP_project
  CAP project -- Categories, Algorithms, and Programming
  ☆28Updated this week
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆72Updated last month
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆80Updated 9 months ago
• ATOMSLab / LeanLJ
  Lennard Jones in Lean
  ☆17Updated 3 weeks ago
• 3-manifolds / SnapPy
  SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…
  ☆104Updated this week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆25Updated 4 years ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆61Updated 3 months ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆47Updated last year
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆61Updated this week
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆83Updated last year
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆59Updated 2 weeks ago
• avigad / mathematics_in_lean_source
  Source code for the Mathematics in Lean tutorial.
  ☆153Updated this week
• teorth / symmetric_project
  ☆91Updated last year
• windsteiger / Theorema
  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
  ☆73Updated 3 years ago
• mo271 / FormalBook
  Formalizing "Proofs from THE BOOK"
  ☆61Updated 6 months ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆27Updated this week