An input source switching daemon for macOS.
β23Apr 1, 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:
- π§ζ½ε·₯δΈπ§ η¨ Arend εθ―ζηδΊ€δΊεΌζη¨β14Sep 7, 2022Updated 3 years ago
- The CompCert formally-verified C compilerβ11Apr 4, 2026Updated last week
- A rust crate providing a vector like struct that stores data as runs of identical values.β15Feb 19, 2021Updated 5 years ago
- Denotational Semantics of the Untyped Lambda Calculusβ17Feb 5, 2025Updated last year
- Notes on OCaml debugging and performanceβ16Jan 29, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Verified and Efficient Matching of Regular Expressions with Lookaroundβ27Dec 18, 2024Updated last year
- A game for homework.β15Jun 30, 2019Updated 6 years ago
- 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
- π Terminal program for interactively opening search engines / parametric URLs, with support for suggestions via opensearch and json.β21Jul 22, 2023Updated 2 years ago
- Test and benchmark your Rust library on mobile devices with ease.β13Jul 17, 2023Updated 2 years ago
- Yet another Scheme interpreter.β11Sep 17, 2022Updated 3 years ago
- Just for fun riscv64 emulator, which boots the Linux.β41Dec 14, 2022Updated 3 years ago
- Simple parsing and deserialization of SGML for Rustβ11Dec 8, 2022Updated 3 years ago
- π§Elixir client for Fluvio streaming platformβ12Dec 11, 2025Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A simple MIPS CPU for BUAA CO course (and now NSCSCC).β10May 15, 2021Updated 4 years ago
- Binary logical relations library for the Coq proof assistantβ23Mar 26, 2026Updated 2 weeks ago
- Yet another AIDA64 Sensor Panelβ10Aug 21, 2021Updated 4 years ago
- Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 placesβ27Mar 27, 2024Updated 2 years ago
- Advent of Code 2020 Haskell Solutionsβ16Dec 29, 2020Updated 5 years ago
- A Tiny, Friendly Companion to LLVMβ47Jan 12, 2026Updated 3 months ago
- λλλλ Lennart Augustsson's Ξ»-calculus cooked four waysβ29Jul 22, 2021Updated 4 years ago
- Run Github Actions workflows locally or on a custom backendβ17Mar 17, 2025Updated last year
- Attribute proc-macro to delegate method to a fieldβ29Sep 17, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A ptrace-based debugger written in Rust.β15May 16, 2020Updated 5 years ago
- Show recent files and projects in scratch buffer.β11Jan 19, 2026Updated 2 months ago
- unoffical release of droidianβ11Oct 23, 2021Updated 4 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.β19Mar 29, 2025Updated last year
- Call rust from any language.β23Apr 13, 2022Updated 3 years ago
- Prototype of a command line argument parser with several opposite design goals from clap.β47Updated this week
- β10Apr 28, 2020Updated 5 years ago
- Get a crates.io temporary access tokenβ35Updated this week
- β15Jul 27, 2024Updated last year
- End-to-end encrypted email - Proton Mail β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Add `which-function` as hint for `rg` & `xref` results.β16Jan 3, 2026Updated 3 months ago
- Android Debug Bridge (adb) client library.β21Mar 25, 2019Updated 7 years ago
- AI assisted code generation/refactory in Emacsβ31Oct 24, 2024Updated last year
- LLDB Frontend for Gudβ13Apr 19, 2017Updated 8 years ago
- Create a WebContainer-compatible FileSystemTree from a given pathβ12Aug 13, 2024Updated last year
- β20Jul 5, 2023Updated 2 years ago
- Cargo subcommand to install and update binary packages listed in configurationβ18Mar 20, 2026Updated 3 weeks ago