GoogleChromeLabs / dictation_supportLinks
This SDK allows web-based apps/pages to interact with dictation devices
☆16Updated last month
Alternatives and similar repositories for dictation_support
Users that are interested in dictation_support are comparing it to the libraries listed below
Sorting:
- ☆10Updated last year
- My Talon scripts for voice coding and general computer control☆15Updated 9 months ago
- Neovim plugin to support Cursorless☆17Updated 2 weeks ago
- User scripts for Talon Voice☆86Updated this week
- multilingual dictionary of mathematical terminology☆20Updated 2 weeks ago
- A monad for interfacing with external SMT solvers☆15Updated 11 months ago
- Tutorials For Data Analysis in Julia☆11Updated 10 months ago
- Unofficial Talon Head Up Display scripts☆80Updated 3 months ago
- Save a set of screen locations to later click on or move to using talon voice☆25Updated last year
- An English translation of Deligne's three "Hodge theory" papers☆13Updated 3 weeks ago
- Relational Algebra, now with more algebra!☆55Updated last month
- VSCode extension used by Talon Voice☆13Updated 2 months ago
- A semantic Extension of TeX/LaTeX☆54Updated 2 weeks ago
- Working through Statistical Rethinking by Richard McElreath☆11Updated 5 years ago
- Talon macOS accessibility magic!☆60Updated 2 months ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆32Updated last month
- functional spreadsheet programming☆20Updated 7 months ago
- A collection of useful uses of GPT (and other LLMs), organized as examples☆16Updated 2 years ago
- Preview Pandoc Markdown in VS Code, and execute code blocks and inline code with Codebraid☆32Updated last year
- An experimental library for building stateful voice activated canvas UIs using a HTML/CSS/React-inspired syntax for python, for use with …☆14Updated 4 months ago
- ACSets: Algebraic databases as in-memory data structures☆26Updated this week
- Create websites without writing any code☆12Updated last year
- Plain-text declaration export for Lean 4☆22Updated last week
- Embedding of python interpreter into haskell programs☆13Updated 6 months ago
- Collection of commands and utilities for managing Markdown notes☆12Updated 3 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated 2 years ago
- Secure VSCode communication channel designed for voice coding☆21Updated 9 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated 2 years ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆27Updated 3 years ago