edemaine / cocreate

Related projects ⓘ

Alternatives and complementary repositories for cocreate

• edemaine / coauthor
  Coauthor supercollaboration/discussion forum
  ☆253Updated 3 months ago
• edemaine / comingle
  Multiroom meeting app integrating web tools
  ☆44Updated 4 months ago
• roed314 / seminars
  Listing of online math seminars
  ☆41Updated 2 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆243Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆74Updated last year
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆96Updated 5 years ago
• pi-base / data
  A community database of topological counterexamples
  ☆72Updated this week
• vinay0410 / tectonic-action
  Compile Tex files easily
  ☆87Updated 2 years ago
• samcarter / tikzlings
  Collection of animals and other beings drawn in TikZ
  ☆90Updated last month
• kisonecat / web2js
  Convert TeX's pascal to javascript
  ☆115Updated 3 years ago
• guillefix / augmath
  Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers
  ☆54Updated 5 years ago
• samcarter / tikzducks
  A latex package to draw cute rubber ducks with TikZ
  ☆170Updated last month
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆292Updated 8 months ago
• kisonecat / tikzjax
  TikZJax is TikZ running under WebAssembly in the browser
  ☆451Updated 4 months ago
• christianp / mastodon
  A GNU Social-compatible microblogging server
  ☆33Updated last week
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆30Updated last year
• doersino / markdeep-thesis
  Write your (under)graduate thesis with Markdeep and typeset it right in your browser.
  ☆145Updated 10 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆119Updated 2 years ago
• pkra / mathjax-node-page
  mathjax-node for pages
  ☆42Updated 4 years ago
• svenkreiss / unicodeit
  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.
  ☆291Updated last year
• mscroggs / realhats
  realhats LaTeX package
  ☆106Updated last year
• PuzzleTechHub / nutrimatic
  The source behind nutrimatic.org.
  ☆77Updated 3 months ago
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆52Updated this week
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆79Updated last year
• golopot / tex-to-unicode
  A browser extension to convert TeX to Unicode in browser inputs.
  ☆60Updated last year
• dcernst / IBL-AbstractAlgebra
  IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.
  ☆67Updated last year
• hhu-adam / GameSkeleton
  The standard template to create a lean game
  ☆19Updated 4 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆128Updated last week
• anishathalye / auriga
  Auriga is a minimalist LaTeX beamer presentation theme 📽
  ☆341Updated 3 weeks ago