An input source switching daemon for macOS.
☆23Aug 23, 2026Updated last week
Alternatives and similar repositories for clavy
Users that are interested in clavy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fast, concurrent, safe MPMC & MPSC FIFO queue implementation☆14Nov 16, 2021Updated 4 years ago
- Hammerspoon module to detect information from Multi-Touch devices attached to your Mac☆11Apr 19, 2021Updated 5 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Sep 7, 2022Updated 3 years ago
- Hackable, local, ai-enabled notes app☆18Mar 20, 2026Updated 5 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 new way of making themes for the Zed editor☆17Jul 28, 2025Updated last year
- Extractor for Apple Aperture™ libraries. - Written in Rust☆17Jan 11, 2026Updated 7 months ago
- Dig into what should be yours.☆20Updated this week
- ☆18Jul 11, 2026Updated last month
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- An experimental MoonBit binding for Cloudflare Worker☆17Jun 3, 2025Updated last year
- Notes on OCaml debugging and performance☆16Jul 1, 2026Updated last month
- A TUI for devs who review PRs faster than GitHub can load☆25Aug 3, 2026Updated 3 weeks ago
- C Intermediate Language Implemented with MoonBit☆19Jan 12, 2026Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Rudac is a Rust Data structure and Algorithm Crate. It aims to be a comprehensive crate of useful data structure and algorithms.☆18Oct 14, 2021Updated 4 years ago
- A self-hosted LLM reverse proxy that adds managed auth, multi-provider routing, rate limiting, llm as judge, historyand cost tracking to …☆25Apr 25, 2026Updated 4 months ago
- Open Mission Control is an open-source alternative to Mission Control Plus. It aims to enhance the macOS Mission Control experience by ad…☆30Aug 14, 2026Updated 2 weeks ago
- Vim like marks for Aerospace WM☆21Jul 17, 2026Updated last month
- A library for grabbing browser cookies from a filesystem☆14May 12, 2024Updated 2 years ago
- A diagram language written in MoonBit.☆16Aug 12, 2026Updated 2 weeks ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 4 months ago
- A Keynav-like application for macOS that allows keyboard-based navigation and clicking anywhere on the screen.☆25Mar 23, 2026Updated 5 months ago
- Rust on ESP32 "Hello World" app. A demo binary crate for the ESP32[XX] and ESP-IDF, which connects to WiFi, drives a small HTTP server an…☆10Oct 1, 2021Updated 4 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.
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- Attribute proc-macro to delegate method to a field☆29Aug 2, 2026Updated 3 weeks ago
- Binary logical relations library for the Coq proof assistant☆23Mar 26, 2026Updated 5 months ago
- Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 places☆27Mar 27, 2024Updated 2 years ago
- Make a GitHub Action implemented in Rust☆14Jul 19, 2026Updated last month
- A ptrace-based debugger written in Rust.☆15May 16, 2020Updated 6 years ago
- 💧Elixir client for Fluvio streaming platform☆12Dec 11, 2025Updated 8 months ago
- Research into SMC fan control on Apple Silicon (M1-M5). Documents the unlock mechanism and provides a working implementation for educatio…☆40Aug 13, 2026Updated 2 weeks ago
- a cross platform dynamic menu☆31Apr 2, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Show recent files and projects in scratch buffer.☆11Jan 19, 2026Updated 7 months ago
- Full OS in Rust with minimal dependencies☆20Jul 18, 2026Updated last month
- unoffical release of droidian☆11Oct 23, 2021Updated 4 years ago
- Rust bindings to libspng☆14Nov 26, 2024Updated last year
- Node.js client for Fluvio☆15May 4, 2026Updated 3 months ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆68Jul 21, 2025Updated last year
- Produce legal code ❌🚔‼️ Lichen provides tools for producing and managing licenses both on the CLI and through a config file. Double lice…☆17Feb 3, 2026Updated 6 months ago