retire your mouse.
☆18Nov 20, 2021Updated 4 years ago
Alternatives and similar repositories for keynav
Users that are interested in keynav are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- keynav for wayland☆10Nov 16, 2022Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆18Mar 8, 2018Updated 8 years ago
- retire your mouse.☆652Apr 18, 2024Updated 2 years ago
- Logo turtle graphics interpreter in Haskell☆21Oct 20, 2014Updated 11 years ago
- A compiler written in janet, to compile (a subset of) janet to javascript.☆17May 24, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆10Feb 4, 2023Updated 3 years ago
- Ankification of xmind files☆13Jun 1, 2014Updated 12 years ago
- Custom keybindings for the qpdfview PDF reader.☆11Apr 24, 2019Updated 7 years ago
- Configurable multiline choice selector with a prompt☆16Feb 20, 2017Updated 9 years ago
- Browser extension for toggling fullscreen on any website.☆10Feb 9, 2020Updated 6 years ago
- A system installation/loading abstraction for Common Lisp☆12Feb 11, 2024Updated 2 years ago
- A Love2d docset generator☆10Dec 8, 2019Updated 6 years ago
- Haskell library for manipulating and evaluating polynomials☆20Feb 24, 2022Updated 4 years ago
- Program to process input from a vibration sensor and send discord messages when it thinks you've finished a load of laundry☆19Oct 29, 2019Updated 6 years 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.
- Standard implementations and drivers for the radiance interfaces, as well as common helper packages.☆14May 17, 2026Updated 4 months ago
- Tiny app to help you relax, breath and meditate☆11Apr 12, 2023Updated 3 years ago
- Embedded WebAssembly runtime for Common Lisp☆27Apr 20, 2025Updated last year
- Experimental Lisp to WebAssembly Compiler☆18Mar 30, 2020Updated 6 years ago
- 🦆🧛🕸Framework for building HTTP APIs with Clojure, JSON and Avro☆16Mar 2, 2023Updated 3 years ago
- simple python script to load a markdown file and easily access the properties of each block etc.☆13Dec 16, 2025Updated 9 months ago
- B-Splines, other splines, and NURBS in Haskell.☆22Feb 27, 2018Updated 8 years ago
- Library of Genesis browser for the reMarkable paper tablet.☆17Dec 17, 2021Updated 4 years ago
- A GNOME extension for controlling and monitoring your ProtonVPN connection.☆11Mar 20, 2022Updated 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.
- Simple Anki Add-ons☆14Sep 10, 2020Updated 6 years ago
- ghci with autocomplete, calltips, colors with type information, variable inspector, and more.☆21Dec 24, 2011Updated 14 years ago
- Modern storage benchmark designed for testing filesystem aging.☆11Sep 16, 2025Updated last year
- Some plugins for Zim☆12Sep 25, 2021Updated 5 years ago
- ☆24Sep 2, 2021Updated 5 years ago
- Art Project For Firefox displays masterpieces from Google Cultural Institute in your Firefox's new tabs☆14Apr 18, 2015Updated 11 years ago
- Core runtime of Erlscripten - ERTS emulation☆16Sep 14, 2022Updated 4 years ago
- synchronizes a directory with e.g. markdown files with a knowledge base in OpenWebUI☆15Jul 26, 2025Updated last year
- Adding dynamic type checking to Fennel☆20Jul 12, 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.
- Pat, the only SMTP postman!☆21Nov 23, 2022Updated 3 years ago
- Haskell tool to automatically bump package versions transitively.☆26May 24, 2016Updated 10 years ago
- Control theory in Haskell: Data structures, algorithms and adapters☆80Jan 14, 2019Updated 7 years ago
- This is a zsh initialization file (e.g. /etc/zshrc or ~/.zshrc) which activates a lot of zsh features☆13Jun 18, 2022Updated 4 years ago
- A package for managing a static, mathematically-inclined web log☆26Oct 3, 2015Updated 11 years ago
- Gnome extension adding more window management keyboard shortcuts☆15Sep 6, 2026Updated last month
- Tomato-rubato is an easy to use library for live audio programming in Haskell.☆30Aug 14, 2022Updated 4 years ago