Alternatives and similar repositories for dictation_support

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

• paul-schaaf / talon-filetree
  A vscode extension for navigating and manipulating the file tree quickly by voice.
  ☆20Updated last year
• bruderj15 / Hasmtlib
  A monad for interfacing with external SMT solvers
  ☆15Updated 9 months ago
• mirober / MR-talon
  My Talon scripts for voice coding and general computer control
  ☆15Updated 7 months ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆39Updated this week
• b4er / recalc
  functional spreadsheet programming
  ☆19Updated 5 months ago
• hwayne / gpt-tricks
  A collection of useful uses of GPT (and other LLMs), organized as examples
  ☆16Updated 2 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• asouther4 / lean-social-choice
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆26Updated 3 years ago
• hands-free-vim / cursorless.nvim
  Neovim plugin to support Cursorless
  ☆15Updated last week
• captdeaf / keybard
  ☆19Updated 3 months ago
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆19Updated 3 months ago
• brollin / flex-mouse-grid
  A powerful voice-only mouse
  ☆24Updated last year
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆13Updated 4 months ago
• thosgood / hodge-theory
  An English translation of Deligne's three "Hodge theory" papers
  ☆12Updated last month
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• impermeable / waterproof
  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…
  ☆42Updated last year
• fredrikNordvallForsberg / CS410-22
  being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session
  ☆17Updated 2 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 3 years ago
• idaks / PW-explorer
  ☆16Updated 4 years ago
• s-zeng / dhall-python
  Python bindings for dhall, a functional configuration language
  ☆48Updated 9 months ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated 10 months ago
• quinn-dougherty / ladr
  linear algebra done right in coq
  ☆11Updated 4 years ago
• phillco / talon-axkit
  Talon macOS accessibility magic!
  ☆59Updated last month
• chaosparrot / talon_hud
  Unofficial Talon Head Up Display scripts
  ☆80Updated last month
• leanprover / LeanInk
  LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
  ☆63Updated last year
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆34Updated last week
• chrisdone-archive / inflex
  Pure, statically typed, content-addressable, programming language for spreadsheet use
  ☆28Updated 2 years ago
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated last month
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆54Updated this week
• epatters / Catlab.jl
  A framework for applied category theory in the Julia language
  ☆18Updated 11 months ago