Alternatives and similar repositories for Josiah_theory

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

• aerickt / lapwing-for-beginners
  Online book to learn steno with Lapwing theory.
  ☆35Updated 3 weeks ago
• fourshade / spectra_lexer
  Stroke and rule analyzer for stenography
  ☆37Updated 2 years ago
• dnaq / plover-machine-hid
  POC Plover plugin and firmware for the Plover HID protocol
  ☆25Updated 6 months ago
• sammdot / alleycat
  Free computer-aided transcription system for stenographers
  ☆26Updated 2 years ago
• JoshuaGrams / steno-jig
  Browser-based Typing Drill Widget
  ☆74Updated last year
• didoesdigital / typey-type
  Typey Type for Stenographers is a free typing app designed specifically to help steno students practise and rapidly master stenography.
  ☆100Updated 2 weeks ago
• Kaoffie / cocoa-specs
  Cocoa Theory Specifications
  ☆17Updated 2 years ago
• paulfioravanti / steno-dictionaries
  My personal Plover theory stenography dictionaries.
  ☆23Updated 7 months ago
• SReichelt / slate
  The Slate Interactive Theorem Prover
  ☆23Updated 2 years ago
• aerickt / steno-dictionaries
  My Plover dictionaries. Home of Lapwing theory and my Vietnamese steno system.
  ☆54Updated last month
• jthlim / javelin-steno
  Embedded Steno Engine
  ☆93Updated last week
• panathea / art_of_chording
  The source repository for the free online stenography textbook, Art of Chording.
  ☆123Updated last year
• Kaoffie / steno_font
  Font that turns steno chords into stenotype key diagrams.
  ☆33Updated 3 years ago
• didoesdigital / steno-dictionaries
  Di's Plover-theory stenography dictionaries used by Typey Type for Stenographers.
  ☆91Updated last month
• Jade-GG / plover_phrasing
  My phrasing system for plover, using python dictionaries
  ☆37Updated 2 years ago
• Vermoot / Pluvier
  French steno theory/dictionary for Plover
  ☆25Updated 9 months ago
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆88Updated this week
• chanind / mathlib-changelog
  ☆10Updated this week
• psethwick / plover_console_ui
  Text User Interface plugin for Plover
  ☆25Updated last year
• openstenoproject / awesome-plover
  A curated list: awesome plugins and dictionaries for Plover, the open source stenography software.
  ☆66Updated 3 years ago
• uwutech / Kind
  A modern proof language
  ☆8Updated 4 years ago
• brollin / flex-mouse-grid
  A powerful voice-only mouse
  ☆24Updated last year
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆118Updated last year
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 10 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 months ago
• Hypercubers / hypercubing.xyz
  Website for the Hypercubing community
  ☆21Updated last week
• jackhumbert / zbalermorna
  lo vrici se pilno be fi la zbalermorna je lo ri taipfase
  ☆25Updated last year
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆45Updated last year
• adaptive-democracy / hopeful-path
  An open source book discussing Adaptive Democracy.
  ☆16Updated 8 months ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year