An input source switching daemon for macOS.
β23Jun 2, 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:
- A Collection of Papers & Notes in Programming Language & Formal Verificationβ17May 10, 2022Updated 4 years ago
- π§ζ½ε·₯δΈ π§ η¨ 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 4 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits β’ AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Game Engine by an ADHDer that will never be finished. Hopes that my Autism can fix this bug.β11Jun 1, 2026Updated last week
- Notes on OCaml debugging and performanceβ16Apr 22, 2026Updated last month
- Verified and Efficient Matching of Regular Expressions with Lookaroundβ27Dec 18, 2024Updated last year
- 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
- A command-line tool that can plot graph of any binary implicit function equation or inequality, supporting both Cartesian and polar coordβ¦β43Oct 5, 2025Updated 8 months ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]β15Apr 30, 2026Updated last month
- A tool for modifying binary files.β11May 14, 2026Updated 3 weeks ago
- The c compiler optimized for speed written in MoonBitβ44Mar 5, 2026Updated 3 months ago
- Open source password manager - Proton Pass β’ AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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
- Simple parsing and deserialization of SGML for Rustβ11Dec 8, 2022Updated 3 years ago
- Binary logical relations library for the Coq proof assistantβ23Mar 26, 2026Updated 2 months 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
- λλλλ Lennart Augustsson's Ξ»-calculus cooked four waysβ29Jul 22, 2021Updated 4 years 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.
- Run Github Actions workflows locally or on a custom backendβ17Apr 16, 2026Updated last month
- Attribute proc-macro to delegate method to a fieldβ29Sep 17, 2023Updated 2 years ago
- Node.js client for Fluvioβ15May 4, 2026Updated last month
- Call rust from any language.β23Apr 13, 2022Updated 4 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.β19Mar 29, 2025Updated last year
- β14Dec 4, 2019Updated 6 years ago
- Prototype of a command line argument parser with several opposite design goals from clap.β48Apr 13, 2026Updated last month
- Best DDoS Attack Script Python3, Cyber Attack With 36 Methodβ13Mar 16, 2021Updated 5 years ago
- β16Jul 27, 2024Updated last year
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Automatic testing of MoonBit programsβ33May 27, 2026Updated 2 weeks ago
- Cmark.mbt is a CommonMark toolkit for MoonBit.β34Updated this week
- 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
- LLDB Frontend for Gudβ13Apr 19, 2017Updated 9 years ago
- β20Jul 5, 2023Updated 2 years ago