Alternatives and similar repositories for mathcask

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

• rguiscard / fossil-notebook-demo
  A note-keeping web app based on Fossil SCM
  ☆69Updated last year
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆67Updated 3 months ago
• podlite / podlite-specs
  Podlite specification documents ( v1.0 released 🎉 )
  ☆24Updated 2 months ago
• hkoosha / bag
  Docker in 600 lines of bash using proot
  ☆16Updated 5 years ago
• capjamesg / knowledge-graph-language
  A query language for exploring knowledge graphs.
  ☆142Updated 5 months ago
• pladams9 / hexsheets
  A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.
  ☆91Updated 3 weeks ago
• shriram / racket-embed-images-in-source-text
  Reader to enable embedding images in source files as text
  ☆22Updated 10 months ago
• susam / tzero
  Social timeboxing for IRC channels
  ☆19Updated last year
• codemicro / walrss
  [mirror] Email-based RSS digest generator
  ☆23Updated 8 months ago
• vagos / llm-sort
  Sort input lines semantically with llm
  ☆120Updated 5 months ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆76Updated last year
• PellelNitram / xournalpp_htr
  Developing handwritten text recognition for Xournal++
  ☆110Updated this week
• TimoKats / inspyr
  Automatically generated text for brainstorming/mindmapping purposes.
  ☆25Updated 2 years ago
• steezeburger / wikipedia-browser
  browse wikipedia a la andy matuschak's evergreen notes
  ☆29Updated last year
• vagos / llm-interpolate
  Interpolate between embedding points with llm
  ☆38Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 11 months ago
• QDScholium / ScholiumAI
  Your AI research assistant
  ☆79Updated 7 months ago
• Bsodoge / Focus-Mode
  Focus Mode is a browser extension designed to keep you focused and productive while browsing the web.
  ☆37Updated 7 months ago
• tekknolagi / db.py
  ☆22Updated last year
• stettberger / notebook
  ☆41Updated last year
• Mathics3 / mathics-django
  Django front-end to Mathics3
  ☆118Updated last month
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆70Updated 7 months ago
• davvid / gcd
  Git worktree navigator
  ☆31Updated last year
• koljapluemer / learn-worldmap
  an SR-based web game to finally memorize countries on the world map
  ☆48Updated 4 months ago
• Amourspirit / python_libre_pythonista_ext
  ☆128Updated 2 months ago
• berkes / art
  Art Experiments
  ☆17Updated 2 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated last month
• Mathics3 / Mathics3-omnibus
  Docker setup for to tie together a number of mathics libraries, and components: Mathics3, mathicsscript, Mathics-Django, etc. This is use…
  ☆31Updated 3 weeks ago
• breck7 / leafdb.org
  A public domain database about trees.
  ☆16Updated last year
• KemingHe / python-dependency-manager-companion-mcp-server
  Self-updating MCP server to cross-ref latest official pip, conda, poetry, uv, pixi, and pdm docs
  ☆41Updated last week