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)
  ☆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
• triumphantomato / LispInFiveDays
  Let's learn about Lisp
  ☆21Updated 3 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 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…
  ☆70Updated 3 months ago
• Kharacternyk / paper-tactics
  The backend for www.paper-tactics.com — a web application to play a pen-and-paper game with other people around the world.
  ☆24Updated last year
• benwr / soanm
  Shell Of A New Machine: Quickly configure new environments
  ☆40Updated 2 years ago
• archivy / archivy-hn
  ☆48Updated 3 years ago
• chapmanjacobd / hn_mining
  hackernews data
  ☆33Updated last year
• slowernews / notebook
  On programming, Portuguese taxes, Polish language and other cool stuff.
  ☆40Updated 2 months ago
• willcipriano / Podje.li
  Podjeli is file sharing on your terms, encode your file into URLs. SPA written in JavaScript with JQuery.
  ☆17Updated 4 years ago
• davvid / gcd
  Git worktree navigator
  ☆30Updated last year
• paulbricman / conceptarium
  A fluid medium for storing, relating, and surfacing thoughts.
  ☆134Updated 3 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆99Updated 3 years ago
• Wireskip / client
  client component repo
  ☆11Updated 2 years ago
• steezeburger / wikipedia-browser
  browse wikipedia a la andy matuschak's evergreen notes
  ☆28Updated 9 months ago
• koljapluemer / learn-worldmap
  an SR-based web game to finally memorize countries on the world map
  ☆47Updated last week
• xiaoxiae / Florodoro
  A pomodoro timer that grows procedurally generated trees and flowers while you're studying.
  ☆36Updated last year
• vangberg / foreign-dispatch
  Tools for writing in a foreign language
  ☆53Updated 2 years ago
• tatatap-com / sowhat
  ☆53Updated 2 years ago
• jwilk / abmagick
  abuse ImageMagick (or GraphicsMagick) to create arbitrary files
  ☆53Updated 2 months ago
• corollari / caoutchouc
  Make TeX great again
  ☆43Updated 2 years ago
• falleng0d / ai-downloader
  A python file downloader almost entirely made by OpenAi Codex, with just a few human optimizations.
  ☆25Updated 2 years ago
• aleclearmind / split-patch
  Split your patch similarly to `git add -p` but supporting multiple buckets
  ☆103Updated 3 years ago
• mattruzicka / wordle_decoder
  A Wordle decoder that guesses your guesses.
  ☆40Updated 3 years ago
• dscho / leave-me-alone-github-app
  A GitHub App that deletes any installation of itself
  ☆16Updated 2 years ago
• jez / calz
  A natural language alternative to Unix 'cal'
  ☆59Updated 6 years ago
• coezbek / rodo
  Rodo is a terminal-based todo manager written in Ruby
  ☆34Updated 9 months ago
• cjquines / qboard
  The efficient digital whiteboard.
  ☆84Updated last year
• abishekmuthian / memory-hammer
  An always-on Anki review system.
  ☆32Updated 2 years ago