Alternatives and similar repositories for coauthor:

Users that are interested in coauthor are comparing it to the libraries listed below

• edemaine / cocreate
  Cocreate Shared Whiteboard/Drawing
  ☆213Updated 11 months ago
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆44Updated 6 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆118Updated 2 years ago
• roed314 / seminars
  Listing of online math seminars
  ☆42Updated 4 months ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆76Updated last year
• scirate / scirate
  An open peer review site for arXiv preprints
  ☆159Updated 3 months ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆273Updated this week
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated last year
• formalabstracts / formalabstracts
  ☆160Updated 5 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆221Updated last month
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆175Updated 8 months ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆175Updated last month
• LogicalAtomist / principia
  The Principia Rewrite
  ☆209Updated last month
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆131Updated 4 months ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆82Updated 7 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated last week
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆112Updated 6 years ago
• AlgebraicJulia / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆623Updated this week
• rbeezer / fcla
  "A First Course in Linear Algebra" open source textbook
  ☆67Updated 3 months ago
• XimeraProject / server
  ☆58Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated 2 months ago
• ncatlab / nlab
  Source code for the nLab
  ☆157Updated 3 weeks ago
• kedlaya / math157
  ☆41Updated 3 years ago
• jmoellermath / translate-SGAI
  Let's translate works of Grothendieck
  ☆24Updated 5 years ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆166Updated 2 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆227Updated last year
• j2kun / essays
  Short essays I've written
  ☆76Updated last year
• arxiv-vanity / engrafo
  Convert LaTeX documents into beautiful responsive web pages using LaTeXML.
  ☆1,082Updated last year
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆35Updated 2 months ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆64Updated 11 months ago