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 6 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 9 months ago
• dandavison / trogon
  A bird vocalization ID quiz for the species present at any location in the world
  ☆84Updated 4 years ago
• aztek / awesome-self-reference
  A curated list of examples of self-reference in art, science, and technology
  ☆267Updated 11 months ago
• jez / calz
  A natural language alternative to Unix 'cal'
  ☆59Updated 6 years ago
• knguyenanhoa / cli-arxiv
  CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)
  ☆39Updated 3 months ago
• life-itself / climate
  🌍🔥 Life Itself's ongoing inquiry into the climate crisis
  ☆47Updated 2 years ago
• jameshealyio / bang-bookmarks
  Replicate DuckDuckGo !bang's in Firefox using Keymarks!
  ☆123Updated 3 years ago
• xiaoxiae / Florodoro
  A pomodoro timer that grows procedurally generated trees and flowers while you're studying.
  ☆37Updated 2 years ago
• koljapluemer / learn-worldmap
  an SR-based web game to finally memorize countries on the world map
  ☆48Updated 2 months ago
• Yetangitu / books
  Library Genesis (libgen) CLI/TUI/GUI client (mirror from private repo)
  ☆232Updated 4 years ago
• asidiali / repro
  Automatically create and manage scripts from history
  ☆57Updated 4 years ago
• artagnon / clayoven
  💎 beautiful website generator aimed at math-heavy sites
  ☆331Updated last month
• breck7 / copypaster
  Make web forms copy-pasteable.
  ☆100Updated 11 months ago
• paulbricman / conceptarium
  A fluid medium for storing, relating, and surfacing thoughts.
  ☆134Updated 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 3 years ago
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆167Updated last year
• karoliskoncevicius / r_notes
  Personal collection of R notes
  ☆194Updated 2 years ago
• codazoda / nolific
  A very simple web based note solution that's designed to serve as my second brain.
  ☆122Updated 2 years ago
• Lauriat / texel
  Command line interface for reading spreadsheets
  ☆133Updated 3 years ago
• kidd / scripting-field-guide
  A booklet on mid-advanced scripting techniques
  ☆54Updated 2 weeks ago
• niedzielski / cb
  📋 Universal command-line clipboard with automatic copy and paste detection. Eg, `cb|sort|cb`. The missing link between GUIs and CLIs!
  ☆128Updated 2 years ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆23Updated 2 years ago
• sajadmh / google-sheets-wordle
  Play Wordle on Google Sheets
  ☆74Updated 3 years ago
• ianthehenry / dotfiles
  My dotfiles. For easy clonin'.
  ☆52Updated 2 years ago
• chrislee973 / bible-semantic-search
  ☆17Updated 2 years ago
• chapmanjacobd / hn_mining
  hackernews data
  ☆33Updated 2 years ago
• mvrozanti / dte
  🕟 date and time processing language
  ☆300Updated 2 years ago
• mgladdish / website-customisations
  A bunch of personal scripts to make using websites more pleasant
  ☆45Updated 2 years ago