edemaine / coauthor
Coauthor supercollaboration/discussion forum
☆253Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for coauthor
- Cocreate Shared Whiteboard/Drawing☆212Updated 9 months ago
- Fungrim: the Mathematical Functions Grimoire☆119Updated 2 years ago
- A LaTeX Typesetting Game☆243Updated this week
- Multiroom meeting app integrating web tools☆44Updated 4 months ago
- Listing of online math seminars☆41Updated 2 months ago
- ☆41Updated 3 years ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆205Updated 2 weeks ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆54Updated 5 years ago
- The extensible drawing editor Ipe☆203Updated last year
- Some fun examples of solving problems with symbolic execution☆112Updated 6 years ago
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆128Updated last week
- Cross-referencing system for LaTeX, inspired with RDF☆16Updated last week
- "A First Course in Linear Algebra" open source textbook☆66Updated last month
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- Olympiad problem database☆44Updated 3 weeks ago
- A program for making zooming slides in figma.☆29Updated 3 months ago
- Experiments in an explorable visual medium for mathematics☆256Updated 7 years ago
- Convert TeX's pascal to javascript☆115Updated 3 years ago
- Theory of Computing Report☆12Updated last month
- ☆159Updated 5 years ago
- Source code for the nLab☆149Updated 2 months ago
- List of links of techniques to help enhance mathematical notation☆180Updated last month
- LaTeX Styles provided by Dagstuhl Publishing☆33Updated 2 weeks ago
- A community database of topological counterexamples☆72Updated this week
- Convert LaTeX documents into beautiful responsive web pages using LaTeXML.☆1,075Updated 10 months ago
- WASM builds of the Z3 SMT solver☆141Updated 4 years ago
- Nearly Classless CSS file to give html a latex-like look☆153Updated 4 years ago
- The Principia Rewrite☆207Updated 6 months ago
- Compile markdown into an html and pdf book based on pandoc.☆186Updated 3 years ago