Alternatives and similar repositories for gclc:

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

• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆84Updated 11 months ago
• otfried / ipe
  The Ipe extensible drawing editor
  ☆193Updated 6 months ago
• kovzol / geogebra-discovery
  GeoGebra Discovery
  ☆22Updated last week
• complex-analysis / source
  This repository contains the source html files for the website complex-analysis.com
  ☆14Updated last month
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• fricas / fricas
  Official repository of the FriCAS computer algebra system
  ☆332Updated this week
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• Mathics3 / mathics-django
  Django front-end to Mathics3
  ☆114Updated last month
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆41Updated last year
• Ben-McKay / concrete-algebra
  A textbook of elementary undergraduate algebra with an emphasis on hand and computer computation, as a precursor to the usual big algebra…
  ☆81Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆101Updated last year
• jirilebl / diffyqs
  Notes on Diffy Qs, a textbook for differential equations
  ☆63Updated 2 weeks ago
• leanprover-community / format_lean
  A Lean file formatter
  ☆67Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆80Updated this week
• leanprover / theorem_proving_in_lean4
  Theorem Proving in Lean 4
  ☆178Updated 6 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…
  ☆97Updated last month
• DominikPeters / pgf-tikz-html-manual
  HTML version of pgf-tikz documentation
  ☆46Updated 3 weeks ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆122Updated 3 years ago
• jirilebl / ra
  Basic Analysis, undergraduate real analysis textbook
  ☆74Updated 3 weeks ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated 9 months ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆285Updated this week
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆250Updated last year
• automorphic-project / automorphic-project
  All the math/tex files for the Automorphic Project
  ☆18Updated 11 months ago
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆132Updated 3 years 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
• kovzol / Java-Geometry-Expert
  Java Geometry Expert
  ☆37Updated last week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆34Updated last year
• jirilebl / ca
  Graduate level course on complex analysis in one variable: Guide to Cultivating Complex Analysis
  ☆10Updated 2 months ago
• edemaine / topp
  The Open Problems Project
  ☆27Updated 4 months ago