edemaine / cocreate
Cocreate Shared Whiteboard/Drawing
☆210Updated 7 months ago
Related projects: ⓘ
- Multiroom meeting app integrating web tools☆44Updated 2 months ago
- Coauthor supercollaboration/discussion forum☆249Updated last month
- A LaTeX Typesetting Game☆240Updated 4 months ago
- Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.☆275Updated 11 months ago
- Listing of online math seminars☆41Updated last week
- A latex package to draw cute rubber ducks with TikZ☆165Updated last month
- A browser extension to convert TeX to Unicode in browser inputs.☆59Updated last year
- Write LaTeX theorems in Pandoc Markdown☆74Updated 10 months ago
- Fungrim: the Mathematical Functions Grimoire☆115Updated 2 years ago
- A GNU Social-compatible microblogging server☆33Updated 3 weeks ago
- Collection of animals and other beings drawn in TikZ☆89Updated last month
- Convert TeX's pascal to javascript☆114Updated 3 years ago
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆84Updated 3 weeks ago
- Repository for the QED interactive text and possible extensions☆95Updated 4 years ago
- 💧 Liquid Tensor Experiment☆170Updated 7 months ago
- Compile Tex files easily☆85Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆264Updated last week
- Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks☆46Updated 4 months ago
- realhats LaTeX package☆104Updated last year
- TikZJax is TikZ running under WebAssembly in the browser☆441Updated 2 months ago
- The extensible drawing editor Ipe☆203Updated last year
- This project converts structured Lean code into an interactive browser game.☆73Updated 10 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆118Updated 6 months ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆288Updated 6 months ago
- ☆20Updated this week
- A community database of topological counterexamples☆72Updated this week
- Problem rendering engine for WeBWorK☆45Updated this week
- The source behind nutrimatic.org.☆77Updated last month
- 🐧 Penguins in LaTeX with TikZ☆61Updated this week
- Source code for the nLab☆137Updated 2 weeks ago