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
  ☆215Updated 2 weeks ago
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆46Updated 8 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆121Updated 3 years ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated 2 months ago
• kedlaya / math157
  ☆41Updated 4 years ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆76Updated last year
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆200Updated 4 years ago
• koka-lang / madoko
  Madoko is a fast markdown processor for high quality academic and technical articles
  ☆396Updated 6 months ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆234Updated 3 months ago
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆245Updated 2 months ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆225Updated last month
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆169Updated 2 years ago
• guillefix / augmath
  Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
  ☆54Updated 5 years ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 6 months ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆278Updated last week
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆119Updated 8 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 5 months ago
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆71Updated last year
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆159Updated last year
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆36Updated 2 years ago
• ncatlab / nlab
  Source code for the nLab
  ☆171Updated 2 weeks ago
• MathWebSearch / mws
  MathWebSearch Implementation
  ☆48Updated 2 years ago
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆45Updated 3 weeks ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆119Updated last year
• scirate / scirate
  An open peer review site for arXiv preprints
  ☆163Updated last month
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆75Updated last year
• aberke / coloring-book
  This is a Coloring Book about Group Theory
  ☆89Updated 2 years ago