Alternatives and similar repositories for gclc

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

• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆80Updated last year
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆86Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆253Updated last year
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• edemaine / topp
  The Open Problems Project
  ☆37Updated 3 weeks ago
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆69Updated last week
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆291Updated this week
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆338Updated last week
• otfried / ipe
  The Ipe extensible drawing editor
  ☆198Updated 8 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆49Updated last week
• kovzol / geogebra-discovery
  GeoGebra Discovery
  ☆24Updated 2 weeks ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆269Updated 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…
  ☆105Updated last week
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆43Updated last year
• DominikPeters / pgf-tikz-html-manual
  HTML version of pgf-tikz documentation
  ☆48Updated 3 months ago
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆249Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 2 weeks ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆59Updated 5 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 2 months ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆48Updated last month
• BhorisDhanjal / MathsRevisionCheatSheets
  A few Mathematics Revision Cheat Sheets I've made on LaTeX.
  ☆92Updated 8 months ago
• PreTeXtBook / pretext-cli
  Command line interface for quickly creating, authoring, and building PreTeXt documents.
  ☆20Updated this week
• kpeeters / cadabra2
  A field-theory motivated approach to computer algebra.
  ☆246Updated last week
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 years ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆225Updated 3 weeks ago
• ncatlab / nlab
  Source code for the nLab
  ☆178Updated 4 months ago
• Macaulay2 / M2
  The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
  ☆375Updated this week
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆41Updated this week
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆77Updated last week