Alternatives and similar repositories for mathcask

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

• podlite / podlite-specs
  Podlite specification documents ( v1.0 released 🎉 )
  ☆24Updated 4 months ago
• codemicro / walrss
  [mirror] Email-based RSS digest generator
  ☆23Updated 10 months ago
• rguiscard / fossil-notebook-demo
  A note-keeping web app based on Fossil SCM
  ☆70Updated 2 years ago
• PellelNitram / xournalpp_htr
  Developing handwritten text recognition for Xournal++
  ☆120Updated 2 weeks ago
• Mathics3 / mathics-django
  Django front-end to Mathics3
  ☆118Updated 4 months ago
• hkoosha / bag
  Docker in 600 lines of bash using proot
  ☆16Updated 5 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆71Updated 10 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated 3 months ago
• rossant / collatepdf
  A simple Python script to collate multiple PDFs into a single PDF.
  ☆26Updated last year
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆22Updated last year
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆48Updated last year
• vagos / llm-sort
  Sort input lines semantically with llm
  ☆120Updated 7 months ago
• day50-dev / sidechat
  TMUX based AI assistance
  ☆89Updated this week
• stettberger / notebook
  ☆41Updated last year
• steezeburger / wikipedia-browser
  browse wikipedia a la andy matuschak's evergreen notes
  ☆28Updated last year
• davvid / gcd
  Git worktree navigator
  ☆30Updated last year
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆73Updated 5 months ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆76Updated 2 years ago
• TimoKats / inspyr
  Automatically generated text for brainstorming/mindmapping purposes.
  ☆25Updated 2 years ago
• tekknolagi / db.py
  ☆22Updated last year
• koljapluemer / learn-worldmap
  an SR-based web game to finally memorize countries on the world map
  ☆49Updated 6 months ago
• simonw / datasette-search-all
  Datasette plugin for searching all searchable tables at once
  ☆28Updated 2 months ago
• QDScholium / ScholiumAI
  Your AI research assistant
  ☆79Updated 9 months ago
• Amourspirit / python_libre_pythonista_ext
  ☆128Updated 5 months ago
• susam / tzero
  Social timeboxing for IRC channels
  ☆19Updated last year
• capjamesg / knowledge-graph-language
  A query language for exploring knowledge graphs.
  ☆145Updated 7 months ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆118Updated last month
• TeXUsersGroup / tugboat
  git-svn mirror of the TUGboat repository
  ☆13Updated 3 weeks ago
• Bsodoge / Focus-Mode
  Focus Mode is a browser extension designed to keep you focused and productive while browsing the web.
  ☆37Updated 9 months ago