Alternatives and similar repositories for geogebra-discovery

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

• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆65Updated this week
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆46Updated last month
• ATOMSLab / LeanChemicalTheories
  ☆34Updated last year
• rschwiebert / RingApp
  A database app for ring theory
  ☆22Updated 2 weeks ago
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆18Updated last year
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆73Updated last year
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆53Updated last week
• MathBases / MathBases
  ☆21Updated 3 weeks ago
• dlfivefifty / RHPackage
  A Mathematica package for solving Riemann–Hilbert problems numerically
  ☆28Updated 5 years ago
• WolframResearch / GurobiLink
  Wolfram Language interface to the Gurobi numerical optimization library
  ☆24Updated 3 years ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆70Updated 7 months ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆65Updated this week
• ryanmaguire / Mathematics-and-Physics
  Various notes on mathematics and physics organized in several volumes.
  ☆9Updated 3 weeks ago
• abelfunctions / abelfunctions
  A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.
  ☆28Updated this week
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆18Updated last week
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆106Updated 3 weeks 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
  ☆46Updated last year
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆28Updated 3 years ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• teorth / symmetric_project
  ☆87Updated last year
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆24Updated 2 months ago
• jirilebl / scv
  Tasty Bits of Several Complex Variables, graduate textbook
  ☆17Updated 2 weeks ago
• sagemath / sage-binder-env
  A Binder repo for SageMath computing environment
  ☆27Updated this week
• sagemath / more-sagemath-tutorials
  More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage
  ☆32Updated last year
• peeterjoot / mathematica
  mathematica (miscellaneous)
  ☆18Updated last month
• brorson / FeigenbaumConstants
  Julia programs which compute the Feigenbaum constants
  ☆9Updated 7 years ago
• chakravala / DirectSum.jl
  Tangent bundle, vector space and Submanifold definition
  ☆50Updated 2 months ago