☆24Jun 3, 2025Updated last year
Alternatives and similar repositories for keybard
Users that are interested in keybard are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22Feb 10, 2026Updated 8 months ago
- My keyboard layouts☆18Jun 29, 2026Updated 3 months ago
- zig bare-metal vector table stack☆14Mar 15, 2025Updated last year
- An add-in that displays a basic calculator in Autodesk Fusion 360.☆15Jan 26, 2023Updated 3 years ago
- Keyboard firmware framework built with Rust and embassy☆15Aug 7, 2026Updated 2 months ago
- 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.
- ☆13Jan 19, 2024Updated 2 years ago
- Links to recourses for the Lean Theorem Prover☆13Dec 3, 2019Updated 6 years ago
- CoqIDE-like experience for kakoune☆10Nov 8, 2022Updated 3 years ago
- Seamless Ctrl+h/j/k/l navigation across herdr panes and Vim/Neovim splits — vim-tmux-navigator ported to herdr☆112Oct 10, 2026Updated last week
- Clean machine-readable data about the HPMicro RISC-V families. Embedded Rust device crates for HPM microcontrollers☆13Jan 31, 2026Updated 8 months ago
- ☆14Sep 23, 2026Updated 3 weeks ago
- use loriini in neovim☆12Apr 28, 2026Updated 5 months ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- ☆35Jun 5, 2026Updated 4 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.
- Face unlock for Linux with real liveness detection: a PAM module, a daemon, and an Omarchy lock screen indicator☆75Sep 24, 2026Updated 3 weeks ago
- Project template for RMK☆17Oct 3, 2026Updated 2 weeks ago
- Rmk-Gui is a gui configuration for RMK based on Tauri and Nuxt☆23Updated this week
- Keyboard firmware for split wireless keyboards☆19Jul 4, 2023Updated 3 years ago
- ☆20Mar 1, 2025Updated last year
- Simple Raycasting Example in Lean4 using SDL3☆21Oct 9, 2026Updated last week
- The keyboard belongs to the user☆31Jul 1, 2023Updated 3 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 4 years ago
- Course materials for Chalmers TPIL25 class☆16Feb 13, 2025Updated last year
- 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.
- Add-on gem for creating graphs from AASM state machine definitions☆11Sep 29, 2021Updated 5 years ago
- 👹 A library for hierarchical names and lexical scoping☆28Jun 19, 2026Updated 3 months ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- A simple air quality measurement system☆25Feb 11, 2024Updated 2 years ago
- OneWire bus implementation in Rust using embedded-hal☆44Jun 6, 2025Updated last year
- FlowmorRouter is a Rails::Engine that enables ActiveRecord Models to route themselves in Rails 4.x applications.☆14Nov 5, 2015Updated 10 years ago
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- The web frontend for Parol – the Esperanto speech robot☆17Sep 8, 2019Updated 7 years ago
- A framework for building language model applications.☆14Dec 8, 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.
- Collection of generated keyboard PCBs based on via layouts☆27Sep 22, 2026Updated 3 weeks ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 5 years ago
- 🍄🟫 A Gruvbox Material theme conceptually inspired by Alabaster.☆17Sep 4, 2026Updated last month
- vscode+platformio+arduino☆28Jun 7, 2025Updated last year
- ☆15Sep 18, 2026Updated 3 weeks ago
- A utility for making it easier to implement web views within VSCode extensions☆11Sep 20, 2026Updated 3 weeks ago
- ☆10Mar 5, 2024Updated 2 years ago