Alternatives and similar repositories for mathlang

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

• knguyenanhoa / cli-arxiv
  CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)
  ☆39Updated 9 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…
  ☆71Updated 11 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• artagnon / clayoven
  💎 beautiful website generator aimed at math-heavy sites
  ☆330Updated last month
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆119Updated 2 weeks ago
• archivy / archivy-hn
  ☆48Updated 4 years ago
• jameshealyio / bang-bookmarks
  Replicate DuckDuckGo !bang's in Firefox using Keymarks!
  ☆124Updated 4 years ago
• dandavison / trogon
  A bird vocalization ID quiz for the species present at any location in the world
  ☆86Updated 4 years ago
• paulbricman / conceptarium
  A fluid medium for storing, relating, and surfacing thoughts.
  ☆136Updated 3 years ago
• SteveRidout / flashdown
  A terminal based Flashcard app using plain text files
  ☆175Updated 2 years ago
• Yetangitu / books
  Library Genesis (libgen) CLI/TUI/GUI client (mirror from private repo)
  ☆234Updated 4 years ago
• Lauriat / texel
  Command line interface for reading spreadsheets
  ☆133Updated 3 years ago
• xiaoxiae / Florodoro
  A pomodoro timer that grows procedurally generated trees and flowers while you're studying.
  ☆37Updated 2 years ago
• anufrievroman / angry-reviewer
  Style corrector for academic writing and scientific papers at angryreviewer.com
  ☆117Updated 2 years ago
• tatatap-com / sowhat
  ☆53Updated 3 years ago
• elbee19 / trab
  TRAB is a Chrome extension that gives you a single button to mark tweet as spam, and block the tweet's creator
  ☆15Updated 3 years ago
• ix / calico
  cat, but for colors 😼
  ☆125Updated 5 years ago
• sajadmh / google-sheets-wordle
  Play Wordle on Google Sheets
  ☆74Updated 3 years ago
• RyanGreenup / cadmus
  Shell Scripts to Facilitate Effective Note Taking
  ☆171Updated 4 years ago
• dcmoura / matplotcli
  Create matplotlib visualizations from the command-line
  ☆51Updated 3 years ago
• breck7 / copypaster
  Make web forms copy-pasteable.
  ☆100Updated last year
• 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
• kidd / scripting-field-guide
  A booklet on mid-advanced scripting techniques
  ☆56Updated 5 months ago
• ianthehenry / dotfiles
  My dotfiles. For easy clonin'.
  ☆53Updated 2 months ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆164Updated 4 years ago
• henrycatalinismith / ppl
  The command line address book
  ☆301Updated 11 months ago
• life-itself / climate
  🌍🔥 Life Itself's ongoing inquiry into the climate crisis
  ☆47Updated 2 years ago
• asidiali / repro
  Automatically create and manage scripts from history
  ☆57Updated 4 years ago
• codazoda / nolific
  A very simple web based note solution that's designed to serve as my second brain.
  ☆124Updated 3 months ago