edemaine / coauthorLinks
Coauthor supercollaboration/discussion forum
☆261Updated 2 months ago
Alternatives and similar repositories for coauthor
Users that are interested in coauthor are comparing it to the libraries listed below
Sorting:
- Cocreate Shared Whiteboard/Drawing☆216Updated 2 weeks ago
- Multiroom meeting app integrating web tools☆46Updated 10 months ago
- Compile markdown into an html and pdf book based on pandoc.☆192Updated 3 years ago
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- Listing of online math seminars☆43Updated 8 months ago
- A LaTeX Typesetting Game☆249Updated 2 months ago
- PreTeXt: an authoring and publishing system for scholarly documents☆290Updated this week
- Fungrim: the Mathematical Functions Grimoire☆122Updated 3 years ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆55Updated 6 years ago
- Madoko is a fast markdown processor for high quality academic and technical articles☆397Updated 8 months ago
- An interactive theorem prover for string diagrams☆118Updated 7 months ago
- The simple essence of automatic differentiation☆200Updated 4 years ago
- ☆162Updated 5 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 3 weeks ago
- List of links of techniques to help enhance mathematical notation☆185Updated 7 months ago
- Book in preparation: introduction to theoretical computer science☆959Updated last year
- Convert LaTeX documents into beautiful responsive web pages using LaTeXML.☆1,097Updated last year
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 7 months ago
- Generate random critical Galton-Watson trees and display their free trees in a force-directed layout☆14Updated last year
- The extensible drawing editor Ipe☆199Updated 2 years ago
- The Principia Rewrite☆223Updated 4 months ago
- LaTeX package for automatically putting proof environments in appendix☆26Updated last year
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Lecture notes from Cambridge maths☆68Updated last year
- a categorical deep learning compiler☆202Updated 3 months ago
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆208Updated 2 weeks ago
- Source code for the nLab☆175Updated 2 months ago
- Tim Button's open textbook on set theory☆37Updated last year
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆254Updated 5 months ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆161Updated last year