Alternatives and similar repositories for Josiah_theory

Users that are interested in Josiah_theory are comparing it to the libraries listed below

• aerickt / steno-dictionaries

  View on GitHub
  My Plover dictionaries. Home of Lapwing theory and my Vietnamese steno system.
  ☆60Nov 5, 2025Updated 3 months ago
• Kaoffie / cocoa-specs

  View on GitHub
  Cocoa Theory Specifications
  ☆17Oct 12, 2022Updated 3 years ago
• aerickt / lapwing-for-beginners

  View on GitHub
  Online book to learn steno with Lapwing theory.
  ☆45Jan 22, 2026Updated 3 weeks ago
• jthlim / jeff-phrasing

  View on GitHub
  Jeff's phrasing system for Plover
  ☆42Apr 21, 2024Updated last year
• fourshade / spectra_lexer

  View on GitHub
  Stroke and rule analyzer for stenography
  ☆37Apr 22, 2023Updated 2 years ago
• petercpark / stenokeyboards-firmware

  View on GitHub
  Default firmware for StenoKeyboards products
  ☆21Jan 4, 2026Updated last month
• paulfioravanti / steno-dictionaries

  View on GitHub
  My personal Plover theory stenography dictionaries.
  ☆23Jan 5, 2025Updated last year
• psethwick / plover_console_ui

  View on GitHub
  Text User Interface plugin for Plover
  ☆26Mar 5, 2024Updated last year
• Josiah-tan / plover-vim

  View on GitHub
  (mostly) single stroke vim commands
  ☆29Oct 24, 2025Updated 3 months ago
• sammdot / alleycat

  View on GitHub
  Free computer-aided transcription system for stenographers
  ☆27Aug 24, 2022Updated 3 years ago
• Khoa-bit / IUGen2

  View on GitHub
  Fast and clean schedule generator for IUers!
  ☆11Jan 5, 2023Updated 3 years ago
• rosettatype / mehraban-book-pahlavi

  View on GitHub
  Backup of the history. Mehraban Book Pahlavi typeface by Amir Mahdi Moslehi
  ☆10Jun 22, 2023Updated 2 years ago
• styles-wiki / techwriting

  View on GitHub
  techwriting.styles.wiki
  ☆11Aug 31, 2020Updated 5 years ago
• graulund / pyramid

  View on GitHub
  Web-based IRCv3 client with bouncer, and support for Twitch features
  ☆12Jan 19, 2023Updated 3 years ago
• g2384 / g2384.github.io

  View on GitHub
  ☆10Jan 23, 2026Updated 3 weeks ago
• AnthonyAsDev / Vimium-Ayu-Theme

  View on GitHub
  Ayu themes: Dark, Light, Mirage for vimium
  ☆12Sep 8, 2021Updated 4 years ago
• ragnarak54 / QuizbowlBot

  View on GitHub
  Discord bot for playing quizbowl!
  ☆10Sep 14, 2022Updated 3 years ago
• kingsloi / community-airmonitor

  View on GitHub
  Miller Beach / NWI air quality monitor using PurpleAir PM sensor, tracking PM2.5, PM10, weather, traffic congestion, trains in "The Regio…
  ☆13Jun 28, 2023Updated 2 years ago
• Luka-O / polya-enumeration-theorem

  View on GitHub
  A Lean 4 formalization of Pólya enumeration theorem.
  ☆21Jun 6, 2025Updated 8 months ago
• justiny7 / competitive-programming

  View on GitHub
  Source code for all my competitive programming activities
  ☆13Dec 28, 2024Updated last year
• mozilla / rust-cascade

  View on GitHub
  A filter cascade implementation in rust
  ☆15Apr 5, 2023Updated 2 years ago
• c9rgreen / emacs-macos-icon

  View on GitHub
  Emacs icon for macOS Sonoma
  ☆12Sep 26, 2023Updated 2 years ago
• thoas / django-sluggable

  View on GitHub
  Manage your slugs and redirect old slugs to the new one
  ☆18Apr 22, 2021Updated 4 years ago
• TOTBWF / coolttviz

  View on GitHub
  ☆23Sep 22, 2021Updated 4 years ago
• steadicat / swarmation

  View on GitHub
  ☆22Feb 8, 2023Updated 3 years ago
• JoshuaGrams / qmk-steno-extensions

  View on GitHub
  First-up chord-send and tap-and-hold chord repeat extensions to QMK.
  ☆12Jul 19, 2022Updated 3 years ago
• jonseymour / gitwork

  View on GitHub
  A proposal for work branch management commands
  ☆14Jul 16, 2016Updated 9 years ago
• unixpickle / neuralspell

  View on GitHub
  Spell and pronounce words with a neural network
  ☆10Feb 13, 2017Updated 9 years ago
• crabbo-rave / Soup

  View on GitHub
  Extra and extended datatypes for Lean 4
  ☆12Nov 12, 2022Updated 3 years ago
• digama0 / mm-lean4

  View on GitHub
  Lean 4 Metamath verifier
  ☆22Dec 12, 2025Updated 2 months ago
• rose-pine / linux-tty

  View on GitHub
  Soho vibes for Linux TTY
  ☆16Nov 5, 2025Updated 3 months ago
• dselsam / binport

  View on GitHub
  A tool for building Lean4 .olean files from Lean3 export data
  ☆10Jul 28, 2021Updated 4 years ago
• zigam / ginkgo

  View on GitHub
  Gingko: find good candidates for international first names
  ☆10Feb 18, 2020Updated 5 years ago
• Pinafore / qb-api

  View on GitHub
  Server side API for QANTA quiz bowl system
  ☆10Jan 31, 2019Updated 7 years ago
• appliedfm / vstyle-tools

  View on GitHub
  A formatter/linter for Coq source
  ☆14Jan 15, 2022Updated 4 years ago
• JoshuaGrams / steno-firmware

  View on GitHub
  Firmware builds for hobbyist steno boards.
  ☆15Mar 14, 2023Updated 2 years ago
• Pinafore / karl-flashcards-web-app

  View on GitHub
  The backend and web frontend for the KAR³L flashcard app
  ☆14Sep 28, 2025Updated 4 months ago
• roam-garden / i

  View on GitHub
  Roam Garden issues and discussions
  ☆12Mar 8, 2021Updated 4 years ago
• yonihemi / RunestoneThemes

  View on GitHub
  ☆15Aug 31, 2021Updated 4 years ago