An input source switching daemon for macOS.
β22Mar 14, 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β11Updated this 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β14Jan 14, 2026Updated 2 months ago
- Notes on OCaml debugging and performanceβ16Jan 29, 2026Updated last month
- 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
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]β15Mar 23, 2025Updated last year
- 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
- 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 3 months ago
- 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β22Oct 15, 2025Updated 5 months ago
- Twinsies is a specialized reference-counting pointer where the item is jointly owned in 2 placesβ27Mar 27, 2024Updated last year
- Advent of Code 2020 Haskell Solutionsβ16Dec 29, 2020Updated 5 years ago
- A Tiny, Friendly Companion to LLVMβ47Jan 12, 2026Updated 2 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
- A ptrace-based debugger written in Rust.β15May 16, 2020Updated 5 years ago
- β14Feb 3, 2026Updated last month
- Full OS in Rust with minimal dependenciesβ20Mar 7, 2026Updated 2 weeks ago
- Pacman-like syntax wrapper for many package managers.β412Mar 2, 2026Updated 3 weeks ago
- Node.js client for Fluvioβ13Mar 16, 2026Updated last week
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.β19Mar 29, 2025Updated 11 months ago
- Call rust from any language.β23Apr 13, 2022Updated 3 years ago
- A cargo-generate template to help you build your best web application using Rustβ15Jan 12, 2020Updated 6 years ago
- β16Dec 4, 2019Updated 6 years ago
- Collection of scripts for the Waveform Seekbar plugin for foobar2000β11Jun 9, 2016Updated 9 years ago
- Get a crates.io temporary access tokenβ35Updated this week
- Automatic testing of MoonBit programsβ31Updated this week
- Cmark.mbt is a CommonMark toolkit for MoonBit.β33Feb 28, 2026Updated 3 weeks ago
- Add `which-function` as hint for `rg` & `xref` results.β16Jan 3, 2026Updated 2 months ago
- Android Debug Bridge (adb) client library.β20Mar 25, 2019Updated 6 years ago
- AI assisted code generation/refactory in Emacsβ31Oct 24, 2024Updated last year
- xcode langspec for rustβ22Jun 2, 2014Updated 11 years ago
- Sound static analysis for the masses.β51Updated this week