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…
  ☆70Updated 8 months ago
• dandavison / trogon
  A bird vocalization ID quiz for the species present at any location in the world
  ☆86Updated 4 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• karoliskoncevicius / r_notes
  Personal collection of R notes
  ☆194Updated 2 years ago
• paulbricman / conceptarium
  A fluid medium for storing, relating, and surfacing thoughts.
  ☆135Updated 3 years ago
• aztek / awesome-self-reference
  A curated list of examples of self-reference in art, science, and technology
  ☆266Updated last year
• artagnon / clayoven
  💎 beautiful website generator aimed at math-heavy sites
  ☆330Updated 4 months ago
• osj1961 / giam
  A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course
  ☆120Updated 2 weeks ago
• jez / calz
  A natural language alternative to Unix 'cal'
  ☆59Updated 7 years ago
• breck7 / copypaster
  Make web forms copy-pasteable.
  ☆100Updated last year
• chapmanjacobd / hn_mining
  hackernews data
  ☆33Updated 2 years ago
• Orange-OpenSource / pandoc-terminal-writer
  Pretty-print text documents on a terminal using pandoc
  ☆39Updated 5 years ago
• anufrievroman / angry-reviewer
  Style corrector for academic writing and scientific papers at angryreviewer.com
  ☆117Updated last year
• duzyn / tufte-markdown
  Use markdown to write your handouts or books in Tufte style.
  ☆113Updated 6 months ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 6 years ago
• vangberg / foreign-dispatch
  Tools for writing in a foreign language
  ☆53Updated 3 years ago
• mvrozanti / dte
  🕟 date and time processing language
  ☆299Updated 2 years ago
• kidd / scripting-field-guide
  A booklet on mid-advanced scripting techniques
  ☆56Updated 3 months ago
• knguyenanhoa / cli-arxiv
  CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)
  ☆39Updated 6 months ago
• xiaoxiae / Florodoro
  A pomodoro timer that grows procedurally generated trees and flowers while you're studying.
  ☆37Updated 2 years ago
• JasonGross / unsong_scraper
  Unsong for kindle, based on https://github.com/rhelsing/worm_scraper
  ☆62Updated 8 years ago
• Yetangitu / books
  Library Genesis (libgen) CLI/TUI/GUI client (mirror from private repo)
  ☆230Updated 4 years ago
• ianthehenry / dotfiles
  My dotfiles. For easy clonin'.
  ☆53Updated 2 years ago
• bonsai-desk / bonsai-browser
  ☆230Updated 3 years ago
• archivy / archivy-hn
  ☆48Updated 4 years ago
• SteveRidout / flashdown
  A terminal based Flashcard app using plain text files
  ☆172Updated 2 years ago
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆171Updated 2 years ago
• jvns / classificator
  ☆27Updated 5 months ago
• Lauriat / texel
  Command line interface for reading spreadsheets
  ☆133Updated 3 years ago
• LaurentRDC / pandoc-plot
  Render and include figures in Pandoc documents using your plotting toolkit of choice
  ☆256Updated 4 months ago