Alternatives and similar repositories for documentation:

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

• mathigon / textbooks
  Source code of Mathigon's interactive textbooks
  ☆360Updated this week
• mathigon / studio
  A customisable NodeJS server for creating and hosting highly interactive online courses.
  ☆39Updated this week
• TungstenHub / tngt-threejs
  Three.js scripts used in Tungsteno
  ☆11Updated 3 years ago
• ianarawjo / notate-jupyter
  Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.
  ☆35Updated 2 years ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆33Updated this week
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆18Updated last year
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆48Updated 3 years ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆66Updated 9 months ago
• paulmasson / mathcell
  Interactive mathematics in the browser
  ☆59Updated 2 weeks ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆24Updated this week
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆32Updated 3 years ago
• kookma / TW5-GitHub-Saver
  Direct saving Tiddlywiki 5.1.20+ to GitHub Pages using the new Tiddlywiki Github Saver Mechanism
  ☆22Updated 3 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• quantum-mechanics-for-everyone / simulations
  JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University
  ☆17Updated 7 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆74Updated last year
• APEXCalculus / APEXCalculusV5
  Tracks the current state of APEX Calculus. For the stable version that matches the latest print version, visit the repo APEXCalculusV4.
  ☆28Updated 8 months ago
• madvorak / read-lean
  How to read Lean
  ☆17Updated last week
• adebray / equivariant_homotopy_theory
  Notes from Andrew Blumberg's class on equivariant homotopy theory
  ☆16Updated last year
• paulbricman / semantica
  Extending conceptual thinking with semantic embeddings.
  ☆36Updated 3 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆37Updated 8 years ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆64Updated 2 weeks ago
• francoisschwarzentruber / tikzzz
  A tiny tikzzz editor in the browser
  ☆11Updated 3 months ago
• mathigon / world-of-mathematics
  Using beautiful graphics and interactive simulations, this award winning textbook makes advanced mathematical ideas accessible to the gen…
  ☆32Updated 7 years ago
• yishn / jsx-tikzcd
  Render tikzcd diagrams with JSX.
  ☆59Updated 4 years ago
• backspaces / agentscript
  An Agent Based Modeling system (ABM)
  ☆108Updated this week
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆68Updated last week
• MikaelMayer / Editor
  Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
  ☆20Updated last year