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
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆47Updated this week
• 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
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 4 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 10 months ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆45Updated this week
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆97Updated last year
• jeffreyadams / atlasofliegroups
  Automatically exported from code.google.com/p/atlasofliegroups
  ☆32Updated this week
• JuliaSymbolics / Metatheory.jl
  Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for t…
  ☆373Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• HarrisonGrodin / Rewrite.jl
  An efficient symbolic term rewriting engine
  ☆77Updated 4 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• MathBases / MathBases
  ☆22Updated this week
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• blambov / RealLib
  Library for exact real number computations
  ☆40Updated 10 years ago
• andrejbauer / alg
  Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
  ☆85Updated 4 years ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆73Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆58Updated last month
• paulknysh / sym
  A Mathematica package for generating symbolic models from data
  ☆48Updated 3 years ago
• ArturasAcus / GeometricAlgebra
  Mathematica package for Clifford (geometric) algebra calculations
  ☆12Updated 2 months ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated 3 months ago
• wbhart / AbstractAlgebra.jl
  Generic abstract algebra functionality in pure Julia (no C dependencies)
  ☆55Updated 2 years ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• gap-packages / JupyterKernel
  Native Jupyter kernel for GAP
  ☆19Updated 2 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• mroughan / SurrealNumbers.jl
  Implementation of Conway's Surreal Numbers
  ☆39Updated 7 months ago
• SimonDanisch / julia-challenge
  Many language implementations for the Julia Challenge: https://nextjournal.com/sdanisch/the-julia-language-challenge
  ☆76Updated 5 years ago
• Nemocas / Nemo.jl
  Julia bindings for the FLINT number theory C library
  ☆203Updated this week