Alternatives and similar repositories for dictation_support:

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

• mirober / MR-talon
  My Talon scripts for voice coding and general computer control
  ☆16Updated 2 months ago
• C-Loftus / sight-free-talon
  Integrate Talon voice dictation commands with TTS, screen readers, braille, and more!
  ☆18Updated last month
• mirober / vscode-TalonScript
  VSCode syntax highlighting for talon grammar files
  ☆14Updated last month
• bruderj15 / Hasmtlib
  A monad for interfacing with external SMT solvers
  ☆15Updated 4 months ago
• thosgood / maths-dictionary
  multilingual dictionary of mathematical terminology
  ☆19Updated 5 months ago
• zkat / kai
  Kat’s next-generation LLM-powered package manager
  ☆11Updated last week
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆11Updated last week
• AndreasArvidsson / andreas-talon-vscode
  VSCode extension used by Talon Voice
  ☆12Updated 3 weeks ago
• chaosparrot / talon_hud
  Unofficial Talon Head Up Display scripts
  ☆76Updated 4 months ago
• jgm / citeproc
  CSL citation processing library in Haskell
  ☆166Updated last week
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆10Updated 3 weeks ago
• dwrensha / math-puzzles-in-lean
  math puzzles from various sources, formalized in Lean
  ☆9Updated last year
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated this week
• ntjess / typst-tada
  ☆16Updated 3 months ago
• b4er / recalc
  functional spreadsheet programming
  ☆15Updated last week
• astoff / tikz-cd
  Commutative diagrams with TikZ
  ☆49Updated 2 years ago
• kentookura / forester.nvim
  Neovim plugin for forester
  ☆16Updated 4 months ago
• jeff-hykin / macro-commander
  💾 📦 ✅ Automate everything in VS code
  ☆48Updated 7 months ago
• phillco / talon-axkit
  Talon macOS accessibility magic!
  ☆51Updated 2 months ago
• jgm / pandoc-types
  types for representing structured documents
  ☆112Updated 11 months ago
• tomduck / pandoc-latex-extensions
  A pandoc filter that adds latex extensions.
  ☆23Updated last year
• smucclaw / complaw
  Main repository for the Research Programme in Computational Law
  ☆32Updated 8 months ago
• mirober / mathfly
  A complete system for dictating mathematics and LaTeX using Dragon
  ☆14Updated 4 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆34Updated 5 months ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆29Updated 2 years ago
• cursorless-dev / vscode-parse-tree
  Syntax trees for VSCode using tree-sitter
  ☆47Updated 2 months ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆13Updated 8 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆14Updated 5 months ago
• djvelleman / HTPILeanPackage
  ☆28Updated 2 months ago