edemaine / coauthor
Coauthor supercollaboration/discussion forum
☆259Updated last month
Alternatives and similar repositories for coauthor:
Users that are interested in coauthor are comparing it to the libraries listed below
- Cocreate Shared Whiteboard/Drawing☆215Updated last month
- Multiroom meeting app integrating web tools☆46Updated 9 months ago
- Fungrim: the Mathematical Functions Grimoire☆122Updated 3 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 2 weeks ago
- ☆162Updated 5 years ago
- P.D. Magnus' forallx logic textbook☆64Updated 3 weeks ago
- Listing of online math seminars☆43Updated 7 months ago
- PreTeXt: an authoring and publishing system for scholarly documents☆283Updated this week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆240Updated 4 months ago
- The Principia Rewrite☆218Updated 2 months ago
- The simple essence of automatic differentiation☆200Updated 4 years ago
- Thoughts on adjoint, norm and such.☆169Updated 2 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆362Updated this week
- ☆41Updated 4 years ago
- ☆31Updated 3 weeks ago
- A LaTeX Typesetting Game☆246Updated 3 weeks ago
- Convert LaTeX documents into beautiful responsive web pages using LaTeXML.☆1,088Updated last year
- Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks☆50Updated 11 months ago
- An interactive theorem prover for string diagrams☆113Updated 6 months ago
- L-Functions and Modular Forms Database☆266Updated last week
- Source code for the nLab☆172Updated last month
- A framework for applied category theory in the Julia language☆645Updated 3 weeks ago
- The HOL Light theorem prover☆453Updated 2 weeks ago
- Automated Theorem Prover for Automatic Words☆21Updated 4 years ago
- Let's translate works of Grothendieck☆24Updated 5 years ago
- A list of Hanabi strategies☆165Updated 2 weeks ago
- The Design and Implementation of Probabilistic Programming Languages☆176Updated last year
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆316Updated last year
- The extensible drawing editor Ipe☆199Updated last year
- Madoko is a fast markdown processor for high quality academic and technical articles☆396Updated 7 months ago