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 last year
• xiaoxiae / Florodoro
  A pomodoro timer that grows procedurally generated trees and flowers while you're studying.
  ☆37Updated 2 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
• anufrievroman / angry-reviewer
  Style corrector for academic writing and scientific papers at angryreviewer.com
  ☆117Updated 2 years ago
• jameshealyio / bang-bookmarks
  Replicate DuckDuckGo !bang's in Firefox using Keymarks!
  ☆124Updated 4 years ago
• jez / calz
  A natural language alternative to Unix 'cal'
  ☆59Updated 7 years ago
• Yetangitu / books
  Library Genesis (libgen) CLI/TUI/GUI client (mirror from private repo)
  ☆234Updated 4 years ago
• karoliskoncevicius / r_notes
  Personal collection of R notes
  ☆195Updated 2 years ago
• paulbricman / conceptarium
  A fluid medium for storing, relating, and surfacing thoughts.
  ☆136Updated 3 years ago
• Orange-OpenSource / pandoc-terminal-writer
  Pretty-print text documents on a terminal using pandoc
  ☆39Updated 5 years ago
• archivy / archivy-hn
  ☆48Updated 4 years ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆119Updated 2 weeks ago
• vangberg / foreign-dispatch
  Tools for writing in a foreign language
  ☆53Updated 3 years ago
• stettberger / notebook
  ☆41Updated last year
• aztek / awesome-self-reference
  A curated list of examples of self-reference in art, science, and technology
  ☆267Updated last year
• slowernews / notebook
  On programming, Portuguese taxes, Polish language and other cool stuff.
  ☆40Updated 2 months ago
• life-itself / climate
  🌍🔥 Life Itself's ongoing inquiry into the climate crisis
  ☆47Updated 2 years ago
• dandavison / trogon
  A bird vocalization ID quiz for the species present at any location in the world
  ☆86Updated 4 years ago
• bonsai-desk / bonsai-browser
  ☆231Updated 3 years ago
• mvrozanti / dte
  🕟 date and time processing language
  ☆299Updated 2 years ago
• niedzielski / cb
  📋 Universal command-line clipboard with automatic copy and paste detection. Eg, `cb|sort|cb`. The missing link between GUIs and CLIs!
  ☆133Updated 5 months ago
• breck7 / copypaster
  Make web forms copy-pasteable.
  ☆100Updated last year
• knguyenanhoa / cli-arxiv
  CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)
  ☆39Updated 9 months ago
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 3 years ago
• mattruzicka / wordle_decoder
  A Wordle decoder that guesses your guesses.
  ☆40Updated 3 years ago
• rubenvannieuwpoort / static-site-generator
  A static site generator which supports markdown with LaTeX.
  ☆18Updated 6 months ago
• chapmanjacobd / hn_mining
  hackernews data
  ☆33Updated last month
• epilys / bibliothecula
  document organizer with tags and full-text-search, in a simple and clean sqlite3 schema
  ☆169Updated last year
• kidd / scripting-field-guide
  A booklet on mid-advanced scripting techniques
  ☆56Updated 5 months ago
• sajadmh / google-sheets-wordle
  Play Wordle on Google Sheets
  ☆74Updated 3 years ago