An input source switching daemon for macOS.
☆23Aug 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:
- Fast, concurrent, safe MPMC & MPSC FIFO queue implementation☆14Nov 16, 2021Updated 4 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
- Rust crate that provides a macro allowing expressions to be eagerly evaluated before a scope.☆15Nov 12, 2025Updated 8 months ago
- Hackable, local, ai-enabled notes app☆18Mar 20, 2026Updated 4 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A new way of making themes for the Zed editor☆17Jul 28, 2025Updated last year
- The CompCert formally-verified C compiler☆11Updated this week
- An script for choosing class by a way of massive polling on jwgl.bupt.edu.cn☆18Jan 2, 2020Updated 6 years ago
- Game Engine by an ADHDer that will never be finished. Hopes that my Autism can fix this bug.☆11Jun 12, 2026Updated last month
- Dig into what should be yours.☆18Updated this week
- Metal shader for rendering dynamic spectral ray effects behind macOS desktop windows. Features smooth chromatic gradient transitions usin…☆18Oct 23, 2025Updated 9 months ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- A TUI for devs who review PRs faster than GitHub can load☆25Aug 3, 2026Updated last week
- 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
- 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.
- A CLI to interact with Apple macOS Passwords (iCloud KeyChain).☆20May 9, 2026Updated 3 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…☆25Jul 27, 2026Updated 2 weeks ago
- Vim like marks for Aerospace WM☆21Jul 17, 2026Updated 3 weeks ago
- A library for grabbing browser cookies from a filesystem☆14May 12, 2024Updated 2 years ago
- A tool for modifying binary files.☆11Jul 22, 2026Updated 3 weeks ago
- A diagram language written in MoonBit.☆16Jul 29, 2026Updated 2 weeks ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 3 months ago
- A Keynav-like application for macOS that allows keyboard-based navigation and clicking anywhere on the screen.☆25Mar 23, 2026Updated 4 months ago
- Mac OS 9 Trash Can Nostalgia☆13Jan 26, 2026Updated 6 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.
- 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.☆41Jul 16, 2026Updated 3 weeks ago
- ☆26Jun 28, 2026Updated last month
- Attribute proc-macro to delegate method to a field☆29Aug 2, 2026Updated last week
- Yet another AIDA64 Sensor Panel☆10Aug 21, 2021Updated 4 years ago
- Binary logical relations library for the Coq proof assistant☆23Mar 26, 2026Updated 4 months ago
- Run Github Actions workflows locally or on a custom backend☆17Apr 16, 2026Updated 3 months ago
- Advent of Code 2020 Haskell Solutions☆16Dec 29, 2020Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- WikiSurfing is an endless wiki that creates new articles using AI.☆19Apr 23, 2026Updated 3 months ago
- The c compiler optimized for speed written in MoonBit☆44Mar 5, 2026Updated 5 months ago
- ☆14Feb 3, 2026Updated 6 months ago
- Full OS in Rust with minimal dependencies☆20Jul 18, 2026Updated 3 weeks ago
- Rust bindings to libspng☆14Nov 26, 2024Updated last year