Command line application for controlling KEF speakers
☆61May 8, 2022Updated 4 years ago
Alternatives and similar repositories for kefctl
Users that are interested in kefctl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Asyncio Python API for KEF speakers 🔈☆41Jun 8, 2026Updated last week
- A Home Assistant integration for KEF speakers☆30May 2, 2026Updated last month
- Agda to C compiler☆10Sep 23, 2025Updated 8 months ago
- A python tool to reduce pdf2htmlEX output file size.☆10Jun 10, 2014Updated 12 years ago
- Go package to make lightweight ASCII line graph ╭┈╯ in command line apps with no other dependencies.☆10Jun 5, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A student portal for IUB Students☆12May 1, 2021Updated 5 years ago
- An agda2hs-compatible library for well-scoped syntax☆11Apr 15, 2026Updated 2 months ago
- mirror of https://review.coreboot.org/libgfxinit.git☆26Dec 20, 2025Updated 5 months ago
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated 2 years ago
- ☆26Feb 3, 2024Updated 2 years ago
- Basic Discord Clone☆16Apr 14, 2021Updated 5 years ago
- Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda☆21Mar 17, 2026Updated 2 months ago
- The fast and light-weight Flowchain hybrid consensus miner. The v0.2.0 public beta aims to build the proof-of-concept proposed by Jollen'…☆12Aug 19, 2024Updated last year
- A repository for material from the reading group on NbE☆17Oct 31, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A type theory with native support for Polynomial Functors.☆43Oct 8, 2023Updated 2 years ago
- Forældreintra til Email☆25May 20, 2026Updated 3 weeks ago
- ☆31Jul 21, 2023Updated 2 years ago
- ☆14Jun 5, 2021Updated 5 years ago
- Cooklang parser☆23Feb 22, 2025Updated last year
- pixi-to-conda-lock converts a pixi.lock file to a conda-lock.yml file☆16May 20, 2026Updated 3 weeks ago
- OrientDB Module for Play! framework☆24Aug 4, 2013Updated 12 years ago
- Provides a `Project` CRD and controller for k8s to help with organising resources☆12Apr 19, 2024Updated 2 years ago
- Capnproto Alternative RPC API☆16May 1, 2015Updated 11 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Extensions to cubical for categorical logic/type theory☆39Jun 2, 2026Updated last week
- Implementation of Transfers in the SAFE Network.☆10Jun 25, 2021Updated 4 years ago
- Measuring the relative performance of cloud resources☆12Aug 20, 2025Updated 9 months ago
- Python Implementation of Google PageSpeed Insights☆42Jan 15, 2024Updated 2 years ago
- Library for HTTP request/response workflow☆15Oct 14, 2025Updated 8 months ago
- Grin installer and wallet viewer☆15May 14, 2018Updated 8 years ago
- Go Artificial Intelligence (GAI) helps you work with foundational models, large language models, and other AI models.☆53Jun 3, 2026Updated last week
- Mechanizations of Type Theories☆36Jan 15, 2026Updated 5 months ago
- A template for wrapping any Java builder (eg., Maven Takari builder) and bring it into Bazel.☆10May 1, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Your TV notifies you of the next upcoming event from you calendar every time it turns on. Please my repo if you like like the app, it wi…☆13Aug 18, 2020Updated 5 years ago
- Boilerplate for the second challenge of the React Europe Hackathon☆14Jun 28, 2015Updated 10 years ago
- crawling user experience data from erowid.org☆13Jun 24, 2016Updated 9 years ago
- Aggregate & graph high-volume sample data in real time☆17Oct 30, 2010Updated 15 years ago
- ☆60Jan 30, 2026Updated 4 months ago
- Transforms JSX elements to a string literal.☆16Dec 5, 2016Updated 9 years ago
- Generalized IO interface that uses urls and makes doing rapid research easier☆15Apr 19, 2026Updated last month