anonx3247 / mathlang

Related projects ⓘ

Alternatives and complementary repositories for mathlang

• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated this week
• benwr / soanm
  Shell Of A New Machine: Quickly configure new environments
  ☆40Updated 2 years 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 this week
• davvid / gcd
  Git worktree navigator
  ☆27Updated 9 months ago
• xiaoxiae / Florodoro
  A pomodoro timer that grows procedurally generated trees and flowers while you're studying.
  ☆34Updated last year
• kidd / scripting-field-guide
  A booklet on mid-advanced scripting techniques
  ☆52Updated last week
• tpapastylianou / misc-updater
  Check if 'Manually-Installed and Source-Compiled' (MISC) packages have new releases or updates announced on their respective webpages.
  ☆18Updated 2 years ago
• timfi / dotmatrix
  A dot matrix rendered using braille characters.
  ☆26Updated 3 years ago
• knguyenanhoa / cli-arxiv
  CLI tool for exploring arXiv (inspired by karpathy's brilliant ArXiv Sanity Preserver)
  ☆38Updated 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 this week
• Orange-OpenSource / pandoc-terminal-writer
  Pretty-print text documents on a terminal using pandoc
  ☆37Updated 4 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆27Updated 3 years ago
• pascalj / thesis-template
  An over-engineered thesis template
  ☆19Updated last month
• jez / calz
  A natural language alternative to Unix 'cal'
  ☆59Updated 5 years ago
• vangberg / foreign-dispatch
  Tools for writing in a foreign language
  ☆53Updated 2 years ago
• hughjonesd / suggestions
  A simple, human-readable format for suggesting changes and comments to text files
  ☆40Updated 9 months ago
• jwilk / abmagick
  abuse ImageMagick (or GraphicsMagick) to create arbitrary files
  ☆53Updated last week
• 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
• steezeburger / wikipedia-browser
  browse wikipedia a la andy matuschak's evergreen notes
  ☆26Updated 2 months ago
• paulbricman / conceptarium
  A fluid medium for storing, relating, and surfacing thoughts.
  ☆128Updated 2 years ago
• TimoKats / inspyr
  Automatically generated text for brainstorming/mindmapping purposes.
  ☆26Updated last year
• ulrischa / badger_server_display
  ☆17Updated last year
• trane-project / trane-cli
  A command-line interface and utilities for Trane
  ☆28Updated 3 months ago
• paulbricman / decontextualizer
  A pipeline for making highlighted text stand-alone.
  ☆29Updated 2 years ago
• archivy / archivy-hn
  ☆48Updated 3 years ago
• locua / oscooking
  opensource.cooking website
  ☆22Updated 3 years ago
• phiresky / timetrackrs
  An automated time tracker (WIP)
  ☆113Updated 10 months ago
• rrthomas / mmv
  ☆57Updated last month
• jstrieb / hackernews-button
  Privacy-preserving Firefox extension linking to Hacker News discussion; built with Bloom filters and WebAssembly
  ☆84Updated 11 months ago