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
  ☆47Updated 11 months ago
• edemaine / coauthor
  Coauthor supercollaboration/discussion forum
  ☆262Updated 2 weeks ago
• roed314 / seminars
  Listing of online math seminars
  ☆43Updated 9 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 2 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• formalabstracts / formalabstracts
  ☆164Updated 5 years ago
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆62Updated last year
• christianp / mastodon
  A GNU Social-compatible microblogging server
  ☆34Updated last month
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆102Updated 5 months ago
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆91Updated 2 years ago
• mrtzh / unbuch
  Compile markdown into an html and pdf book based on pandoc.
  ☆192Updated 3 years ago
• mscroggs / realhats
  realhats LaTeX package
  ☆114Updated 2 years ago
• PreTeXtBook / pretext
  PreTeXt: an authoring and publishing system for scholarly documents
  ☆292Updated last week
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 7 months ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆320Updated last year
• sliminality / pandoc-theorem
  Write LaTeX theorems in Pandoc Markdown
  ☆75Updated last year
• 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…
  ☆308Updated last year
• 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
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆134Updated last month
• guillefix / augmath
  Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
  ☆56Updated 6 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• davidrzs / latexcss
  Nearly Classless CSS file to give html a latex-like look
  ☆166Updated 5 years ago
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆134Updated 3 years ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 4 months ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆296Updated last year
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆53Updated 2 years ago
• b-mehta / maths-notes
  Lecture notes from Cambridge maths
  ☆68Updated last year
• pkra / mathjax-node-page
  mathjax-node for pages
  ☆42Updated 4 years ago
• marcodaniel / mdframed
  auto-split frame environment for LaTeX
  ☆67Updated 2 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 3 months ago