Alternatives and similar repositories for cocreate:

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

• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆46Updated 9 months ago
• edemaine / coauthor
  Coauthor supercollaboration/discussion forum
  ☆259Updated last month
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 7 months ago
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆88Updated 2 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆246Updated 2 weeks ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆315Updated last year
• mscroggs / realhats
  realhats LaTeX package
  ☆112Updated 2 years ago
• christianp / mastodon
  A GNU Social-compatible microblogging server
  ☆34Updated 2 weeks ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆122Updated 3 years ago
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆76Updated last year
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆122Updated 3 years ago
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆238Updated 4 months ago
• davidalber / geneagrapher
  Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks
  ☆50Updated 11 months ago
• amyjko / bookish
  A simple framework for publishing online books.
  ☆70Updated last month
• bojanczyk / slajdomat
  A program for making zooming slides in figma.
  ☆32Updated 3 weeks ago
• samcarter / tikzlings
  Collection of animals and other beings drawn in TikZ
  ☆94Updated this week
• nimaanari / theory.report
  Theory of Computing Report
  ☆12Updated 6 months ago
• lecopivo / SciLean
  Scientific computing in Lean 4
  ☆387Updated last week
• otfried / old-ipe-releases
  The extensible drawing editor Ipe
  ☆199Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆62Updated last year
• mrtzh / unbuch
  Compile markdown into an html and pdf book based on pandoc.
  ☆189Updated 3 years ago
• ImperialCollegeLondon / formalising-mathematics
  Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/Imperi…
  ☆307Updated last year
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆176Updated this week
• amyjko / critically-conscious-computing
  The online book Critically Conscious Computing: Methods for Secondary Education
  ☆47Updated last week
• edemaine / texlish
  Better LaTeX that compiles to LaTeX
  ☆23Updated 2 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 5 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆97Updated 2 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆33Updated last year
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆61Updated last year
• rossprogram / tex.rossprogram.org
  A real-time collaborative TeX editor
  ☆18Updated 4 years ago