An input source switching daemon for macOS.
โ23Jun 22, 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โ11Jun 25, 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
- ๐ง Fast and tiny Node.js tools, for Node.js version manager and Node.js registry manager, built in Moonbitโ15Jan 14, 2026Updated 5 months ago
- Denotational Semantics of the Untyped Lambda Calculusโ17Feb 5, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer โข AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Notes on OCaml debugging and performanceโ16Apr 22, 2026Updated 2 months ago
- ๐ Terminal program for interactively opening search engines / parametric URLs, with support for suggestions via opensearch and json.โ21Jul 22, 2023Updated 2 years ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]โ15Apr 30, 2026Updated 2 months ago
- A tool for modifying binary files.โ11May 14, 2026Updated last month
- The c compiler optimized for speed written in MoonBitโ44Mar 5, 2026Updated 3 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
- Just for fun riscv64 emulator, which boots the Linux.โ41Dec 14, 2022Updated 3 years ago
- ๐งElixir client for Fluvio streaming platformโ12Dec 11, 2025Updated 6 months ago
- Binary logical relations library for the Coq proof assistantโ23Mar 26, 2026Updated 3 months 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.
- 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
- Run Github Actions workflows locally or on a custom backendโ17Apr 16, 2026Updated 2 months ago
- Attribute proc-macro to delegate method to a fieldโ29Sep 17, 2023Updated 2 years ago
- A ptrace-based debugger written in Rust.โ15May 16, 2020Updated 6 years ago
- โ14Feb 3, 2026Updated 4 months ago
- Full OS in Rust with minimal dependenciesโ20Jun 18, 2026Updated 2 weeks ago
- Show recent files and projects in scratch buffer.โ11Jan 19, 2026Updated 5 months ago
- Pacman-like syntax wrapper for many package managers.โ416Jun 21, 2026Updated last week
- 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.
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.โ19Mar 29, 2025Updated last year
- A cargo-generate template to help you build your best web application using Rustโ15Jan 12, 2020Updated 6 years ago
- Prototype of a command line argument parser with several opposite design goals from clap.โ48Jun 21, 2026Updated last week
- โ10Apr 28, 2020Updated 6 years ago
- Fenghuaxueyue ไผ้่ฎฐๅฝโ12Jan 12, 2019Updated 7 years ago
- Machine Learning in the browserโ15Dec 27, 2025Updated 6 months ago
- Containerization and deployment scripts for remote-index-server and workflows to generate monolithic index for https://www.chromium.org/โ20Jun 22, 2026Updated last week
- A karma plugin. Transform es module by using vite.โ16May 14, 2025Updated last year
- โ16Jul 27, 2024Updated last year
- 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.
- Automatic testing of MoonBit programsโ33May 27, 2026Updated last month
- Cmark.mbt is a CommonMark toolkit for MoonBit.โ34Jun 13, 2026Updated 2 weeks ago
- Add `which-function` as hint for `rg` & `xref` results.โ16Jan 3, 2026Updated 5 months ago
- Android Debug Bridge (adb) client library.โ22Mar 25, 2019Updated 7 years ago
- AI assisted code generation/refactory in Emacsโ31Oct 24, 2024Updated last year
- The web front end for Overleaf, a web-based collaborative LaTeX editor. Regular pull updates from upstream. DO NOT Fork, just cherry-pickโฆโ16Mar 9, 2026Updated 3 months ago
- LLDB Frontend for Gudโ13Apr 19, 2017Updated 9 years ago