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
  ☆71Updated 2 years ago
• PellelNitram / xournalpp_htr
  Developing handwritten text recognition for Xournal++
  ☆125Updated 3 weeks ago
• podlite / podlite-specs
  Podlite specification documents ( v1.0 released 🎉 )
  ☆25Updated this week
• codemicro / walrss
  [mirror] Email-based RSS digest generator
  ☆23Updated 11 months ago
• 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
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆75Updated 6 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• steezeburger / wikipedia-browser
  browse wikipedia a la andy matuschak's evergreen notes
  ☆28Updated 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
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆138Updated this week
• capjamesg / knowledge-graph-language
  A query language for exploring knowledge graphs.
  ☆145Updated 8 months ago
• day50-dev / sidechat
  TMUX based AI assistance
  ☆91Updated last week
• vagos / llm-sort
  Sort input lines semantically with llm
  ☆120Updated 8 months ago
• rossant / collatepdf
  A simple Python script to collate multiple PDFs into a single PDF.
  ☆26Updated last year
• susam / tzero
  Social timeboxing for IRC channels
  ☆19Updated last year
• vagos / llm-interpolate
  Interpolate between embedding points with llm
  ☆38Updated last year
• ronkok / Hurmet
  Rich text editor on the web, featuring live calculations.
  ☆186Updated this week
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆55Updated 3 weeks ago
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆19Updated last year
• QDScholium / ScholiumAI
  Your AI research assistant
  ☆79Updated 10 months ago
• tekknolagi / db.py
  ☆22Updated last year
• davvid / gcd
  Git worktree navigator
  ☆30Updated last year
• seanwevans / fluid-sims
  A collection of fluid simulations
  ☆59Updated 4 months ago
• jeprinz / pantograph
  ☆101Updated 11 months ago
• podlite / podlite
  Implementation of Podlite markup language
  ☆51Updated 3 months ago
• ad-si / Woxi
  Wolfram Language / Mathematica reimplementation in Rust (Wolfram oxidized)
  ☆51Updated this week
• simonw / datasette-search-all
  Datasette plugin for searching all searchable tables at once
  ☆29Updated 3 months ago
• ashtonmeuser / bookmarklet-platform
  A platform for building and distributing JS bookmarklets created from GitHub gists
  ☆73Updated 10 months ago
• eeroel / hae
  Like grep but with natural language queries
  ☆50Updated 2 years ago