Alternatives and similar repositories for mathlang

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

• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 6 months ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated 3 months ago
• chapmanjacobd / hn_mining
  hackernews data
  ☆33Updated last year
• knguyenanhoa / cli-arxiv
  CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)
  ☆39Updated 3 weeks ago
• jez / calz
  A natural language alternative to Unix 'cal'
  ☆59Updated 6 years ago
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 2 years ago
• archivy / archivy-hn
  ☆48Updated 3 years ago
• aleclearmind / split-patch
  Split your patch similarly to `git add -p` but supporting multiple buckets
  ☆103Updated 3 years ago
• ulrischa / badger_server_display
  ☆17Updated 2 years ago
• benwr / soanm
  Shell Of A New Machine: Quickly configure new environments
  ☆40Updated 2 years ago
• kidd / scripting-field-guide
  A booklet on mid-advanced scripting techniques
  ☆52Updated 2 months ago
• vangberg / foreign-dispatch
  Tools for writing in a foreign language
  ☆53Updated 2 years ago
• davvid / gcd
  Git worktree navigator
  ☆29Updated last year
• diagrams / diagrams-braille
  Render diagrams to Braille
  ☆29Updated last month
• rubenvannieuwpoort / static-site-generator
  A static site generator which supports markdown with LaTeX.
  ☆18Updated last year
• breck7 / sleepytimeconference
  The conference that comes together while you sleep.
  ☆17Updated 4 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• ianthehenry / dotfiles
  My dotfiles. For easy clonin'.
  ☆52Updated last year
• sajadmh / google-sheets-wordle
  Play Wordle on Google Sheets
  ☆74Updated 3 years ago
• jackdoe / zr
  🌩 offline and serverless stackoverflow/man/etc.. search with low memory footprint
  ☆28Updated last year
• pascalj / thesis-template
  An over-engineered thesis template
  ☆20Updated 7 months ago
• TimoKats / inspyr
  Automatically generated text for brainstorming/mindmapping purposes.
  ☆25Updated last year
• Bsodoge / Focus-Mode
  Focus Mode is a browser extension designed to keep you focused and productive while browsing the web.
  ☆36Updated 2 months ago
• lukemerrick / InvestorsExchange.jl
  ☆42Updated 2 years ago
• Orange-OpenSource / pandoc-terminal-writer
  Pretty-print text documents on a terminal using pandoc
  ☆39Updated 5 years ago
• binarynate / omnibookmarks
  The fastest way to add and open bookmarks.
  ☆16Updated 3 years ago
• hughjonesd / suggestions
  A simple, human-readable format for suggesting changes and comments to text files
  ☆40Updated 5 months ago
• epilys / rlr
  interactive pixel screen ruler and protractor
  ☆63Updated 6 months ago
• sethmlarson / diagrams
  Collection of diagrams from articles
  ☆31Updated 3 months ago
• osnr / tabssh
  📡 ssh into browser tab.
  ☆76Updated 4 years ago