Alternatives and similar repositories for comingle:

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

• edemaine / cosuite
  Software for better online synchronous meetings and classes
  ☆14Updated 4 years ago
• edemaine / cocreate
  Cocreate Shared Whiteboard/Drawing
  ☆215Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• edemaine / coauthor
  Coauthor supercollaboration/discussion forum
  ☆258Updated last week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 3 months ago
• roed314 / seminars
  Listing of online math seminars
  ☆42Updated 5 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• 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 weeks ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆29Updated last year
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆62Updated this week
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated last year
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated 2 weeks ago
• yishn / reticule
  A new way to write and explore mathematical texts.
  ☆23Updated 7 years ago
• guillefix / augmath
  Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
  ☆54Updated 5 years ago
• christianp / mastodon
  A GNU Social-compatible microblogging server
  ☆34Updated last month
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆67Updated last month
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆44Updated 2 weeks ago
• gerby-project / plastex
  Python package to convert LaTeX markup to DOM
  ☆14Updated 3 weeks ago
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated 11 months ago
• aisejohan / cring
  Johan's clone of the cring repository from http://cring.adeel.ru/
  ☆29Updated 11 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆120Updated 2 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆47Updated 2 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆37Updated 10 months ago
• kedlaya / math157
  ☆41Updated 4 years ago
• PeterScholze / Analytic
  lecture notes for Analytic Geometry course
  ☆11Updated 3 years ago
• leanprover / lean-client-js
  ☆37Updated last year
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 4 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆63Updated last year