Alternatives and similar repositories for comingle

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

• edemaine / cocreate
  Cocreate Shared Whiteboard/Drawing
  ☆216Updated 2 weeks ago
• edemaine / cosuite
  Software for better online synchronous meetings and classes
  ☆14Updated 4 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆52Updated 2 years ago
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆134Updated 3 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated 3 weeks ago
• edemaine / coauthor
  Coauthor supercollaboration/discussion forum
  ☆261Updated 2 months ago
• davidar / TeX.js
  TeXify: Typesetting for the Web
  ☆48Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• guillefix / augmath
  Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
  ☆55Updated 6 years ago
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆63Updated 3 weeks ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆37Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 6 months ago
• chrisheunen / freetikz
  FreeTikZ
  ☆37Updated 7 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆29Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆71Updated last week
• openwebwork / pg
  Problem rendering engine for WeBWorK
  ☆47Updated this week
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆91Updated 2 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated 2 years ago
• UCSD-PL / proverbot9001
  ☆42Updated 4 months ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆84Updated last year
• leanprover / leanprover.github.io
  www
  ☆16Updated last year
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last month
• punkdit / huygens
  ☆10Updated this week
• lierdakil / mathjax-pandoc-filter
  Nodejs implementation of pandoc filter to turn TeX math into embedded SVG
  ☆22Updated 2 years ago
• leanprover / lean-client-js
  ☆38Updated 2 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆32Updated last year
• xu-cheng / pandoc-katex
  Pandoc filter to render math equations using KaTeX
  ☆35Updated 2 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year