Command line application for controlling KEF speakers
☆61May 8, 2022Updated 3 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 🔈☆42Apr 6, 2026Updated last week
- A python implementation to interface Kef speakers over tcp/ip☆17Nov 26, 2019Updated 6 years ago
- An implementation of scoped algebraic effects and handlers in Agda.☆14Mar 11, 2021Updated 5 years ago
- My Agda blog/lab/playground☆12Mar 31, 2026Updated 2 weeks ago
- Agda to C compiler☆10Sep 23, 2025Updated 6 months 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.
- A python tool to reduce pdf2htmlEX output file size.☆10Jun 10, 2014Updated 11 years ago
- Convenient container class for file system paths.☆13Nov 19, 2024Updated last year
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- Experiments with Realizability in Univalent Type Theory☆19Oct 21, 2024Updated last year
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- mojo.js PostgreSQL☆16Nov 19, 2024Updated last year
- Stock sentiments analysis on data scrapped from Reddit using PRAW and analysing sentiments using Wit.AI.☆16Mar 8, 2021Updated 5 years ago
- mirror of https://review.coreboot.org/libgfxinit.git☆26Dec 20, 2025Updated 3 months ago
- Scripts and documentation to ease openQA development☆20Jan 14, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- An Async/Await implementation for Mojolicious☆20Jan 2, 2026Updated 3 months ago
- Basic Discord Clone☆16Apr 14, 2021Updated 5 years ago
- This repo is deprecated. I move the work to support molstar in nglview: https://github.com/nglviewer/nglview☆12Dec 3, 2024Updated last year
- 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 type theory with native support for Polynomial Functors.☆42Oct 8, 2023Updated 2 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆31Oct 19, 2022Updated 3 years ago
- Patches for Pokemon Snakewood to implement modern QoL features.☆13Jan 16, 2026Updated 3 months ago
- A Lean4 Formalization of Polynomial Functors☆28Dec 22, 2025Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Mojo::SQLite - A tiny Mojolicious wrapper for SQLite☆29Jul 24, 2022Updated 3 years ago
- An advanced midi router for MacOS☆12Dec 26, 2024Updated last year
- Compress and convert CSS, Less, Sass and JavaScript files☆31Dec 6, 2024Updated last year
- Highly concurrent and fast content processing for Mighty Inference Server☆10Feb 6, 2023Updated 3 years ago
- Run pyupgrade on all files in a directory, and optionally recursively.☆11Apr 7, 2026Updated last week
- A dead simple on demand video streaming service written in rust.☆13Mar 26, 2020Updated 6 years ago
- A fast, lightweight, dynamic task based framework built for scalable concurrency written in Python extended with Cython.☆12Sep 13, 2018Updated 7 years ago
- LuaJIT binding to the aws s2n TLS library☆14Oct 26, 2015Updated 10 years ago
- OrientDB Module for Play! framework☆24Aug 4, 2013Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Provides a `Project` CRD and controller for k8s to help with organising resources☆12Apr 19, 2024Updated last year
- Extensions to cubical for categorical logic/type theory☆38Apr 8, 2026Updated last week
- Capnproto Alternative RPC API☆16May 1, 2015Updated 10 years ago
- Grill Buddy for Home Assistant☆25Jul 14, 2025Updated 9 months ago
- Implementation of Transfers in the SAFE Network.☆10Jun 25, 2021Updated 4 years ago
- simple ansible playbook to take clean ubuntu 18.04 to CUDA 10, PyTorch 1.0, fastai, miniconda heaven☆12Dec 16, 2018Updated 7 years ago
- Measuring the relative performance of cloud resources☆12Aug 20, 2025Updated 7 months ago