An application, a library,... to control your linux desktop with your voice
☆49Aug 28, 2016Updated 9 years ago
Alternatives and similar repositories for pocketVox
Users that are interested in pocketVox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Mar 13, 2025Updated last year
- My Agda blog/lab/playground☆12Updated this week
- ☆16Jun 9, 2024Updated last year
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated last month
- ☆16Jun 22, 2024Updated last year
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Improv JS Work-in-Progress☆12Feb 20, 2016Updated 10 years ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated 9 months ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- Automated Reasoning for the Working Mathematician☆11Aug 30, 2019Updated 6 years ago
- Simple conversion from Agda text to literate Agda text.☆14Dec 26, 2025Updated 3 months ago
- Connect a Roomba® 580 to the Cloud with a Particle Photon☆12Apr 11, 2020Updated 5 years ago
- A Bluesky bot to help people find unpaywalled resources.☆13Apr 22, 2024Updated last year
- Windows hidden thread suspend POC with code injection☆12May 27, 2017Updated 8 years ago
- Firmware source for attiny2313-based power switcher☆10Sep 25, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Few helpers to work with gradle. Tasks and samples of how to work with gradle.☆13Jun 21, 2020Updated 5 years ago
- A package to typeset ZX calculus directly in LaTeX.☆18Mar 15, 2024Updated 2 years ago
- A Node.js Web based interface for VnStat☆23Dec 13, 2021Updated 4 years ago
- ☆17Feb 20, 2024Updated 2 years ago
- Golang syscall firehose (programmatic strace/dtruss)☆13Nov 26, 2020Updated 5 years ago
- Visual SPARQL query tool☆10Feb 26, 2016Updated 10 years ago
- ☆14Jun 7, 2024Updated last year
- A quick tour to *Data types à la carte* for reading group presentation.☆16Feb 7, 2023Updated 3 years ago
- A prototype editor for procedural landscape generation.☆13Jun 1, 2016Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Walbi, the walking biped☆11Nov 27, 2018Updated 7 years ago
- Non-blocking LED controlling library for Arduino and friends.☆12Jun 17, 2018Updated 7 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- framework components for game programming with Java (deprecated)☆14Sep 22, 2017Updated 8 years ago
- Publish dash button presses to a MQTT broker 🔘📡☆16Jan 5, 2018Updated 8 years ago
- Vue.js playgrounds☆12Apr 22, 2024Updated last year
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 7 years ago
- control 433MHz (compatible with Arduino libs) sockets/devices through web and time rules☆13Dec 12, 2017Updated 8 years ago
- Lecture notes and exercises for the advanced course on Categorical Realizability at the Midlands Graduate School (MGS) 2024 and the Europ…☆24Aug 9, 2025Updated 7 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Lightweight logging utility for Ruby☆14Sep 21, 2012Updated 13 years ago
- The LTTng CI infrastructure configuration☆12Updated this week
- A program for generating LaTeX TikZ code for string diagrams.☆19May 5, 2021Updated 4 years ago
- Triple, quadruple, and n-fold paths and arrows with TikZ☆17Dec 26, 2023Updated 2 years ago
- An implmentation of the waveform collapse algorithm for bevy. you can find out more and see the plugin in use on my yoytube channel☆11May 2, 2023Updated 2 years ago
- ☆10Jan 1, 2022Updated 4 years ago
- A collection of firmwares compiled for TKG (TMK Keymap Generator).☆11Aug 8, 2018Updated 7 years ago