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 🎉 )
  ☆25Updated this week
• rguiscard / fossil-notebook-demo
  A note-keeping web app based on Fossil SCM
  ☆71Updated 2 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆75Updated 6 months ago
• PellelNitram / xournalpp_htr
  Developing handwritten text recognition for Xournal++
  ☆125Updated 3 weeks ago
• QDScholium / ScholiumAI
  Your AI research assistant
  ☆79Updated 10 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆138Updated this week
• hkoosha / bag
  Docker in 600 lines of bash using proot
  ☆16Updated 5 years ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆71Updated 11 months ago
• Mathics3 / mathics-django
  Django front-end to Mathics3
  ☆119Updated last week
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆22Updated last year
• pladams9 / hexsheets
  A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.
  ☆92Updated 4 months ago
• rossant / collatepdf
  A simple Python script to collate multiple PDFs into a single PDF.
  ☆26Updated last year
• Mathics3 / Mathics3-omnibus
  Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…
  ☆33Updated 4 months ago
• ronkok / Hurmet
  Rich text editor on the web, featuring live calculations.
  ☆186Updated this week
• waszabi / empty-enter-expander
  ☆58Updated 9 months ago
• bdtc / lwarp
  The LaTeX lwarp package — Convert LaTeX to HTML.
  ☆49Updated 2 years ago
• davvid / gcd
  Git worktree navigator
  ☆30Updated last year
• susam / tzero
  Social timeboxing for IRC channels
  ☆19Updated last year
• codemicro / walrss
  [mirror] Email-based RSS digest generator
  ☆23Updated 11 months ago
• vagos / llm-sort
  Sort input lines semantically with llm
  ☆120Updated 8 months ago
• breck7 / breckyunits.com
  Breck's Blog
  ☆45Updated 7 months ago
• Amourspirit / python_libre_pythonista_ext
  ☆132Updated 6 months ago
• capjamesg / knowledge-graph-language
  A query language for exploring knowledge graphs.
  ☆145Updated 8 months ago
• podlite / podlite
  Implementation of Podlite markup language
  ☆51Updated 3 months ago
• pykidos / pykidos.github.io
  🐍 PyKidos: Python visual playground in the browser
  ☆46Updated last year
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆77Updated 2 years ago
• stettberger / notebook
  ☆41Updated last year
• day50-dev / sidechat
  TMUX based AI assistance
  ☆91Updated this week
• tekknolagi / db.py
  ☆22Updated last year