Alternatives and similar repositories for fungrim:

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

• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆169Updated 2 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆45Updated 2 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 7 months 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…
  ☆95Updated last week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated last week
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• ga / awesome-geometric-algebra
  A curated list of geometric algebra resources
  ☆133Updated 4 years ago
• kedlaya / math157
  ☆41Updated 4 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 9 months ago
• paulknysh / sym
  A Mathematica package for generating symbolic models from data
  ☆49Updated 3 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• blambov / RealLib
  Library for exact real number computations
  ☆39Updated 9 years ago
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 4 years ago
• jlaragonvera / Geometric-Algebra
  Mathematica packages for geometric algebra
  ☆48Updated last year
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated last month
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• polymake / polymake
  Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit
  ☆79Updated 5 months ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆45Updated 6 years ago
• peeterjoot / physicsplay
  Latex source for geometric algebra and physics notes.
  ☆38Updated last month
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆82Updated 4 months ago
• AlgebraicJulia / StockFlow.jl
  ☆69Updated last month
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆107Updated 9 months ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆123Updated 8 months ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 6 months ago
• JuliaSymbolics / Metatheory.jl
  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…
  ☆366Updated 3 weeks ago
• flintlib / python-flint
  Python bindings for Flint and Arb
  ☆135Updated this week
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago