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
  ☆215Updated 2 weeks ago
• edemaine / cosuite
  Software for better online synchronous meetings and classes
  ☆14Updated 4 years ago
• edemaine / coauthor
  Coauthor supercollaboration/discussion forum
  ☆258Updated this week
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated last month
• guillefix / augmath
  Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
  ☆54Updated 5 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 3 months ago
• anishathalye / synox
  Rust library for program synthesis of string transformations from input-output examples 🔮
  ☆27Updated last month
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆121Updated 3 years ago
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆62Updated 3 weeks ago
• edemaine / topp
  The Open Problems Project
  ☆26Updated 2 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆88Updated 2 years ago
• amyjko / critically-conscious-computing
  The online book Critically Conscious Computing: Methods for Secondary Education
  ☆47Updated 6 months ago
• kmill / knotfolio
  A program for drawing knots and links, with support for importing images
  ☆29Updated last year
• maths / PRESS
  PRolog Equation Solving System
  ☆30Updated 8 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 last week
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆76Updated last year
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆46Updated last year
• pkra / mathjax-node-page
  mathjax-node for pages
  ☆42Updated 4 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 3 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• rubenvannieuwpoort / static-site-generator
  A static site generator which supports markdown with LaTeX.
  ☆17Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆62Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆45Updated last week
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆167Updated 2 years ago