edemaine / comingleLinks
Multiroom meeting app integrating web tools
☆47Updated 11 months ago
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☆216Updated last month
- Online BDD Simulation Tool☆18Updated 3 years ago
- Coauthor supercollaboration/discussion forum☆262Updated 2 weeks ago
- Commutative diagrams with TikZ☆53Updated 2 years ago
- Tag-based webview of LaTeX documents☆30Updated last year
- ☆23Updated 3 years ago
- A database app for ring theory☆22Updated 2 weeks ago
- Metamath verifier in Python☆40Updated 3 weeks ago
- Listing of online math seminars☆43Updated 9 months ago
- Convert TeX's pascal to javascript☆134Updated 3 years ago
- Command line interface for quickly creating, authoring, and building PreTeXt documents.☆20Updated this week
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated last month
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- A new way to write and explore mathematical texts.☆23Updated 8 years ago
- Learn Lean and topology☆20Updated 2 years ago
- Python bindings for egg☆49Updated 2 years ago
- Composable autodiff for the interactive web.☆26Updated 9 months ago
- FreeTikZ☆37Updated 7 years ago
- A program for making zooming slides in figma.☆37Updated 3 months ago
- Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure☆63Updated 2 weeks ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Problem rendering engine for WeBWorK☆47Updated this week
- Automated Theorem Prover for Automatic Words☆21Updated 4 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated last month
- Synchronization for TeX☆76Updated 5 months ago
- Very controlled natural language tactics for Lean☆64Updated last year
- ☆38Updated 2 years ago
- My unofficial picat http://picat-lang.org/ repository☆29Updated last year