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 4 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…
  ☆69Updated 2 weeks ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• knguyenanhoa / cli-arxiv
  CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)
  ☆39Updated last month
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 2 years ago
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 3 years ago
• shapr / bloohm
  visual bloom filter to display process status as neotrellis m4 output
  ☆27Updated 10 months ago
• chapmanjacobd / hn_mining
  hackernews data
  ☆33Updated last year
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago
• pschanely / contractual-semver
  Contractual Semver
  ☆26Updated 2 years ago
• thass0 / liz
  Collaborative Lisp coding on Discord
  ☆34Updated last year
• davvid / gcd
  Git worktree navigator
  ☆28Updated last year
• diagrams / diagrams-braille
  Render diagrams to Braille
  ☆29Updated 5 months ago
• TimoKats / inspyr
  Automatically generated text for brainstorming/mindmapping purposes.
  ☆25Updated last year
• jez / calz
  A natural language alternative to Unix 'cal'
  ☆59Updated 6 years ago
• hughjonesd / suggestions
  A simple, human-readable format for suggesting changes and comments to text files
  ☆40Updated 3 months ago
• jstrieb / hackernews-button
  Privacy-preserving Firefox extension linking to Hacker News discussion; built with Bloom filters and WebAssembly
  ☆85Updated this week
• imdj / HNRelevant
  Related discussions for Hacker News (news.ycombinator.com)
  ☆77Updated 8 months ago
• benwr / soanm
  Shell Of A New Machine: Quickly configure new environments
  ☆40Updated 2 years ago
• raffomania / archive.observer
  🔭 AskHistorians Archive Viewer
  ☆31Updated last year
• archivy / archivy-hn
  ☆48Updated 3 years ago
• pmarreck / ixnay
  Ixnay is a Nix shell wrapper that I'm writing as I learn about Nix and how to do various operations.
  ☆12Updated 3 months ago
• mattruzicka / wordle_decoder
  A Wordle decoder that guesses your guesses.
  ☆40Updated 2 years ago
• ulrischa / badger_server_display
  ☆17Updated 2 years ago
• Protospace / doorbell
  ☆11Updated 3 years ago
• adisbladis / kakapo
  A Nix web bundler because why not
  ☆55Updated last year
• nick-gravgaard / qwerty-flip
  ☆40Updated 9 months ago
• nst / PSChess
  A Chess Engine in PostScript
  ☆58Updated 2 weeks ago
• cgranier / wordlexcel
  An Excel spreadsheet to help you solve WORDLE puzzles
  ☆13Updated 2 years ago