edemaine / comingle
Multiroom meeting app integrating web tools
☆44Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for comingle
- Cocreate Shared Whiteboard/Drawing☆212Updated 9 months ago
- Software for better online synchronous meetings and classes☆14Updated 3 years ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆54Updated 5 years ago
- A database app for ring theory☆21Updated last month
- Very controlled natural language tactics for Lean☆61Updated 9 months ago
- Metamath verifier in Python☆34Updated 7 months ago
- Convert TeX's pascal to javascript☆115Updated 3 years ago
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- The Open Problems Project☆26Updated 11 months ago
- A program for drawing knots and links, with support for importing images☆26Updated 10 months ago
- Programmable, human-readable inlining of Python code☆29Updated last year
- Rust library for program synthesis of string transformations from input-output examples 🔮☆26Updated 6 months ago
- Fungrim: the Mathematical Functions Grimoire☆119Updated 2 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated last month
- Commutative diagrams with TikZ☆46Updated 2 years ago
- Coauthor supercollaboration/discussion forum☆253Updated 3 months ago
- Some fun examples of solving problems with symbolic execution☆112Updated 6 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆128Updated last week
- Open-source logic textbook in LaTeX by UBC philosophy professor Jonathan Ichikawa☆16Updated 7 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure☆61Updated 3 months ago
- Listing of online math seminars☆41Updated 2 months ago
- Python bindings for the egg-smol rust library☆65Updated this week
- PRolog Equation Solving System☆29Updated 8 years ago
- MathWebSearch Implementation☆47Updated last year
- auto-split frame environment for LaTeX☆66Updated last year
- Development tools for https://github.com/leanprover-community/mathlib☆33Updated last year
- An automated theorem prover that uses Büchi automata.☆40Updated 3 years ago
- A semantic Extension of TeX/LaTeX☆50Updated this week