Alternatives and similar repositories for documentation

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

• mathigon / studio
  A customisable NodeJS server for creating and hosting highly interactive online courses.
  ☆42Updated 4 months ago
• mathigon / textbooks
  Source code of Mathigon's interactive textbooks
  ☆366Updated 4 months ago
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆80Updated 3 years ago
• 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 4 years ago
• ChalmersGU-AI-course / shrdlite-course-project
  AI course project template, inspired by Terry Winograd's classic Shrdlu system
  ☆40Updated 7 years ago
• opencog / asmoses
  MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)
  ☆43Updated 3 weeks ago
• aantthony / javascript-cas
  Computer Algebra System written in JavaScript.
  ☆129Updated 11 years ago
• kronusaturn / lw2-viewer
  An alternative frontend for LessWrong 2.0
  ☆70Updated last week
• ubavic / awesome-interactive-math
  A curated list of tools that can be used for creating interactive mathematical explorables.
  ☆215Updated 8 months ago
• rosulek / vamonos
  Vamonos: browser-based algorithm visualization
  ☆135Updated 5 months ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• kolibril13 / mobject-gallery
  Gallery of math objects in manim
  ☆36Updated 2 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆26Updated 6 years ago
• RiccardoBiosas / LeanGPT
  Experiments with interactive theorem provers, LLMs and formal systems
  ☆21Updated last year
• paulbricman / semantica
  Extending conceptual thinking with semantic embeddings.
  ☆36Updated 3 years ago
• gjoncas / Artsy-Diagrams
  Creative diagrams in Ti𝑘Z
  ☆10Updated 4 years ago
• victoriastuart / arxiv-sh
  Daily query for new arXiv articles in select topics via RSS
  ☆41Updated last year
• prathyvsh / networked-notebooks
  Hyperlinked notebooks
  ☆151Updated 2 years ago
• eulertour / eulerv2
  A web based frontend to manim
  ☆102Updated 2 years ago
• ErikBjare / KnowTree
  Crazy idea about visualizing what you (don't yet) know and create a great plan to learn anything.
  ☆33Updated 6 years ago
• isaacvr / manim-js
  Manim-like animation framework for the web.
  ☆20Updated 5 years ago
• c2d7fa / thinktool
  Novel fusion of hierarchical and graph-based approaches to taking notes, based on ideas from Roam Research, TheBrain and others.
  ☆111Updated last year
• inkandswitch / ksp-browser
  Connect the things you already know in your browser.
  ☆73Updated 2 years ago
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆50Updated 4 years ago
• tomzx / machine-learning-concept-map
  The Machine Learning Concept Map is my attempt at reconstructing all the internal knowledge I've acquired about machine learning over the…
  ☆20Updated 5 years ago
• janpaul123 / jsdares
  Learn and explore JavaScript, and create your own dares!
  ☆135Updated 4 years ago
• burtonator / pdf-annotation-exporter
  ☆36Updated 7 years ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆30Updated 2 years ago
• radicle-dev / radicle-decisions
  Radicle Developers of All Countries, Unite!
  ☆17Updated 4 years ago
• jessmartin / mumblr
  Micro-blogging application, powered by WebNative.
  ☆19Updated last year