edemaine / comingleLinks
Multiroom meeting app integrating web tools
☆46Updated last year
Alternatives and similar repositories for comingle
Users that are interested in comingle are comparing it to the libraries listed below
Sorting:
- Cocreate Shared Whiteboard/Drawing☆218Updated 7 months ago
- Coauthor supercollaboration/discussion forum☆266Updated 2 months ago
- Software for better online synchronous meetings and classes☆13Updated 4 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Metamath verifier in Python☆40Updated 6 months ago
- The online book Critically Conscious Computing: Methods for Secondary Education☆52Updated last month
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 10 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆304Updated this week
- PRolog Equation Solving System☆29Updated 9 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 3 years ago
- A semantic Extension of TeX/LaTeX☆54Updated 2 weeks ago
- The LaTeX lwarp package — Convert LaTeX to HTML.☆48Updated last year
- Convert TeX's pascal to javascript☆143Updated 4 years ago
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆20Updated 8 months ago
- P.D. Magnus' forallx logic textbook☆69Updated 9 months ago
- Compile Tex files easily☆94Updated 3 years ago
- Tim Button's open textbook on set theory☆40Updated 6 months ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years ago
- Problem rendering engine for WeBWorK☆47Updated last week
- MathWebSearch Implementation☆48Updated 3 years ago
- My unofficial picat http://picat-lang.org/ repository☆30Updated last year
- Leibniz - a Digital Scientific Notation☆36Updated 8 months ago
- Convert graphs generated by Graphviz to LaTeX friendly formats☆160Updated 5 months ago
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- A program for drawing knots and links, with support for importing images☆33Updated last year
- ☆11Updated last month
- ☆27Updated 2 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆37Updated 7 months ago
- Repository for the QED interactive text and possible extensions☆110Updated 11 months ago