Alternatives and similar repositories for mathlang

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

• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆71Updated 9 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆121Updated last month
• anufrievroman / angry-reviewer
  Style corrector for academic writing and scientific papers at angryreviewer.com
  ☆117Updated last year
• stettberger / notebook
  ☆41Updated last year
• jvns / classificator
  ☆27Updated 5 months ago
• knguyenanhoa / cli-arxiv
  CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)
  ☆39Updated 7 months ago
• chapmanjacobd / hn_mining
  hackernews data
  ☆33Updated 2 years ago
• Yetangitu / books
  Library Genesis (libgen) CLI/TUI/GUI client (mirror from private repo)
  ☆231Updated 4 years ago
• jez / calz
  A natural language alternative to Unix 'cal'
  ☆59Updated 7 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.
  ☆135Updated 3 years ago
• karoliskoncevicius / r_notes
  Personal collection of R notes
  ☆195Updated 2 years ago
• duzyn / tufte-markdown
  Use markdown to write your handouts or books in Tufte style.
  ☆114Updated 7 months ago
• breck7 / copypaster
  Make web forms copy-pasteable.
  ☆100Updated last year
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• triumphantomato / LispInFiveDays
  Let's learn about Lisp
  ☆21Updated 3 years ago
• vangberg / foreign-dispatch
  Tools for writing in a foreign language
  ☆53Updated 3 years ago
• Orange-OpenSource / pandoc-terminal-writer
  Pretty-print text documents on a terminal using pandoc
  ☆39Updated 5 years ago
• sajadmh / google-sheets-wordle
  Play Wordle on Google Sheets
  ☆74Updated 3 years ago
• artagnon / clayoven
  💎 beautiful website generator aimed at math-heavy sites
  ☆330Updated 5 months ago
• codazoda / nolific
  A very simple web based note solution that's designed to serve as my second brain.
  ☆124Updated 2 months ago
• brownie-in-motion / hn-adblock
  a Chrome extension that removes "[company] is hiring" ads on https://news.ycombinator.com/.
  ☆18Updated 2 years ago
• xiaoxiae / Florodoro
  A pomodoro timer that grows procedurally generated trees and flowers while you're studying.
  ☆37Updated 2 years ago
• hughjonesd / suggestions
  A simple, human-readable format for suggesting changes and comments to text files
  ☆41Updated last year
• PellelNitram / xournalpp_htr
  Developing handwritten text recognition for Xournal++
  ☆116Updated 3 weeks 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
• phiresky / pandoc-url2cite
  Effortlessly and transparently add correctly styled citations to your markdown paper given only a URL
  ☆129Updated 2 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 8 months ago
• archivy / archivy-hn
  ☆48Updated 4 years ago