Alternatives and similar repositories for dictation_support

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

• sswatson / table-editor-vscode
  ☆11Updated last year
• mirober / MR-talon
  My Talon scripts for voice coding and general computer control
  ☆15Updated 10 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated 2 years ago
• AndreasArvidsson / andreas-talon
  User scripts for Talon Voice
  ☆87Updated this week
• svsool / vscode-markdown-kit
  Collection of commands and utilities for managing Markdown notes
  ☆12Updated 3 years ago
• cursorless-dev / command-server
  Secure VSCode communication channel designed for voice coding
  ☆21Updated 10 months ago
• phillco / talon-axkit
  Talon macOS accessibility magic!
  ☆62Updated 4 months ago
• bruderj15 / Hasmtlib
  A monad for interfacing with external SMT solvers
  ☆15Updated this week
• kentookura / forester.nvim
  Neovim plugin for forester
  ☆18Updated last year
• slatex / sTeX
  A semantic Extension of TeX/LaTeX
  ☆54Updated last month
• hands-free-vim / cursorless.nvim
  Neovim plugin to support Cursorless
  ☆17Updated last week
• cursorless-dev / vscode-parse-tree
  Syntax trees for VSCode using tree-sitter
  ☆52Updated last week
• dwrensha / math-puzzles-in-lean
  math puzzles from various sources, formalized in Lean
  ☆10Updated 2 years ago
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆14Updated 7 months ago
• b4er / recalc
  functional spreadsheet programming
  ☆23Updated 8 months ago
• namin / dafny-sketcher
  piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…
  ☆14Updated last week
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆47Updated last year
• AbhinavOmprakash / functionali
  functional programming tools for python
  ☆12Updated 4 years ago
• chrisdone-archive / inflex
  Pure, statically typed, content-addressable, programming language for spreadsheet use
  ☆29Updated 2 years ago
• AlgebraicJulia / AlgebraicRelations.jl
  Relational Algebra, now with more algebra!
  ☆55Updated 3 months ago
• xeruf / nodal
  My experiences with & wishes for task management
  ☆14Updated last year
• hwayne / gpt-tricks
  A collection of useful uses of GPT (and other LLMs), organized as examples
  ☆16Updated 2 years ago
• be5invis / idris-dict
  A Dict k v in Idris
  ☆15Updated 5 years ago
• fourshade / spectra_lexer
  Stroke and rule analyzer for stenography
  ☆37Updated 2 years ago
• chaosparrot / talon_hud
  Unofficial Talon Head Up Display scripts
  ☆80Updated 4 months ago
• idaks / PW-explorer
  ☆16Updated 4 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆33Updated 2 months ago
• lambdamechanic / miniTSis
  ☆10Updated last week
• rwbarton / advent-of-lean-4
  Advent of Code 2020 solutions in Lean 4
  ☆26Updated 4 years ago
• gpoore / codebraid-preview-vscode
  Preview Pandoc Markdown in VS Code, and execute code blocks and inline code with Codebraid
  ☆33Updated last year