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)
  ☆38Updated 3 years ago
• kidd / scripting-field-guide
  A booklet on mid-advanced scripting techniques
  ☆51Updated 2 months ago
• Orange-OpenSource / pandoc-terminal-writer
  Pretty-print text documents on a terminal using pandoc
  ☆37Updated 4 years ago
• xojoc / discussions
  Find discussions around the web
  ☆19Updated last week
• jez / calz
  A natural language alternative to Unix 'cal'
  ☆59Updated 6 years ago
• asidiali / repro
  Automatically create and manage scripts from history
  ☆57Updated 3 years ago
• benwr / soanm
  Shell Of A New Machine: Quickly configure new environments
  ☆40Updated 2 years ago
• ianthehenry / dotfiles
  My dotfiles. For easy clonin'.
  ☆51Updated last year
• jstrieb / hackernews-button
  Privacy-preserving Firefox extension linking to Hacker News discussion; built with Bloom filters and WebAssembly
  ☆85Updated this week
• TimoKats / inspyr
  Automatically generated text for brainstorming/mindmapping purposes.
  ☆25Updated last year
• chapmanjacobd / hn_mining
  hackernews data
  ☆33Updated last year
• archivy / archivy-hn
  ☆48Updated 3 years ago
• steezeburger / wikipedia-browser
  browse wikipedia a la andy matuschak's evergreen notes
  ☆27Updated 4 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last month
• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆27Updated 3 years ago
• adityaathalye / oxo
  A game of traditional 3x3 Noughts and Crosses, in Bash.
  ☆12Updated 4 months ago
• davvid / gcd
  Git worktree navigator
  ☆27Updated 11 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…
  ☆68Updated last week
• aleclearmind / split-patch
  Split your patch similarly to `git add -p` but supporting multiple buckets
  ☆103Updated 2 years ago
• binarynate / omnibookmarks
  The fastest way to add and open bookmarks.
  ☆16Updated 2 years ago
• traindown / traindown
  Public site
  ☆42Updated 10 months ago
• breck7 / sleepytimeconference
  The conference that comes together while you sleep.
  ☆17Updated 3 years ago
• 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
• JannikArndt / git-in-one-image
  All (important) git-commands explained in one image
  ☆48Updated 7 years ago
• niedzielski / cb
  📋 Universal command-line clipboard with automatic copy and paste detection. Eg, `cb|sort|cb`. The missing link between GUIs and CLIs!
  ☆126Updated last year
• tobias-walle / advent-of-code-cli
  A cli tool to automatically download and upload advent of code problems.
  ☆43Updated last year
• cjquines / qboard
  The efficient digital whiteboard.
  ☆83Updated last year
• jinyus / Fsharp-Teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆18Updated last year
• lf94 / jyoti
  A simple IRC bot for use with shell scripts
  ☆15Updated 2 years ago