Alternatives and similar repositories for augmath:

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

• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆44Updated 7 months ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆47Updated 2 years ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 3 weeks ago
• allofphysicsgraph / proofofconcept
  Physics Derivation Graph: mathematical connections among equations
  ☆20Updated 8 months ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆61Updated 4 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• cduck / latextools
  A collection of tools for building, rendering, and converting Latex documents
  ☆24Updated last year
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated last year
• XimeraProject / server
  ☆59Updated last month
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆120Updated 2 years ago
• mabotkin / complex
  A web application to visualize complex mappings.
  ☆30Updated 8 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• smspillaz / intuitive-math
  Intuitive math descriptions and animations (like 3b1b)
  ☆96Updated 2 years ago
• davidalber / geneagrapher
  Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks
  ☆50Updated 9 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…
  ☆19Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆37Updated 10 months ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• IMAGINARY / SURFER
  Sources of Java version of SURFER (which uses JavaFX 1.3.1)
  ☆32Updated 6 years ago
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 4 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago
• aslanides / aixijs
  AIXIjs - General Reinforcement Learning in the Browser
  ☆148Updated 4 years ago
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• tscrim / coxeter
  Coxeter is a library for the study of combinatorial aspects of Coxeter group theory
  ☆11Updated last year
• dmishin / singlerot-smooth
  "Single Rotation" cellular automaton demonstration with Lanczos smoothing
  ☆21Updated 10 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year