Alternatives and similar repositories for gclc

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

• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆338Updated this week
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆84Updated last year
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆69Updated this week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆43Updated last year
• kovzol / geogebra-discovery
  GeoGebra Discovery
  ☆23Updated 2 months ago
• DominikPeters / pgf-tikz-html-manual
  HTML version of pgf-tikz documentation
  ☆48Updated 2 months ago
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆16Updated 3 weeks ago
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆40Updated this week
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆292Updated this week
• otfried / ipe
  The Ipe extensible drawing editor
  ☆197Updated 7 months ago
• jemmybutton / byrne-latex
  LaTeX/MetaPost package for making geometry diagrams in the style of Oliver Byrne's rendition of Euclid's Elements
  ☆19Updated 8 months ago
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆31Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆30Updated last year
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆38Updated last year
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆76Updated last month
• edemaine / topp
  The Open Problems Project
  ☆35Updated this week
• sudgy / math-from-nothing
  Developing mathematics in Coq from the ground up
  ☆20Updated 10 months ago
• jakobmoosbauer / flips
  ☆13Updated last year
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆248Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆108Updated last year
• kpeeters / cadabra2
  A field-theory motivated approach to computer algebra.
  ☆245Updated this week
• texmacs / tm-forge
  A repository of user contributed content for TeXmacs
  ☆55Updated 5 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆177Updated 3 months ago
• ascherer / cweb
  Literate Programming in C/C++
  ☆93Updated last month
• jirilebl / ca
  Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis
  ☆11Updated last month
• Mathics3 / mathics-django
  Django front-end to Mathics3
  ☆113Updated 3 months ago
• thruston / Drawing-with-Metapost
  Examples of technical drawing with John Hobby's MetaPost language
  ☆53Updated 4 months ago
• MathBases / MathBases
  ☆22Updated 2 weeks ago