Bash script for to increase or decrease the mouse and touchpad speed and the RSI-tool typebreak
☆35Dec 31, 2017Updated 8 years ago
Alternatives and similar repositories for mouse-speed
Users that are interested in mouse-speed are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The repository for c9.ide.collab, a Cloud9 core plugin☆15Jun 21, 2018Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A command-driven web browser toolkit inspired by luakit and Vim.☆41Jun 17, 2022Updated 3 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- A YAML-based configuration library for Rust☆13Aug 6, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Moved to https://github.com/exonum/exonum☆35Mar 2, 2018Updated 8 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- Efficient functorized iterators for OCaml.☆14Feb 23, 2018Updated 8 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- Hey! An Interruption and Time Tracking Command line app.☆13Nov 19, 2024Updated last year
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 11 years ago
- Setting up an Idris dev environment on Windows☆16Dec 8, 2019Updated 6 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Jun 22, 2017Updated 8 years ago
- Experimental C++11 backend for Idris☆15Nov 29, 2014Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆16Aug 20, 2019Updated 6 years ago
- Gentoo ebuilds of the https://github.com/NVIDIA/nvidia-docker☆11Dec 21, 2021Updated 4 years ago
- jmp - search files and jump to matching lines in a text editor☆13Apr 3, 2026Updated last month
- Polymorphic directed graphs☆12Apr 10, 2017Updated 9 years ago
- Emacs dynamic module to parse yaml written in Rust☆12Sep 24, 2025Updated 8 months ago
- 📖 Create static websites with Next.js and the Podlite markup language.☆12May 8, 2026Updated 3 weeks ago
- A simple XML module for Idris.☆13May 22, 2020Updated 6 years ago
- On-disk hashtable using linear hashing☆10Nov 9, 2017Updated 8 years ago
- Remove glyps from TTF fonts☆13Dec 4, 2025Updated 5 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The Endatabas Book☆16Aug 22, 2024Updated last year
- Output gemini formatted documents from org-mode☆13Mar 13, 2024Updated 2 years ago
- Apathy // Atom Syntax Theme☆14Jan 16, 2026Updated 4 months ago
- Pikchr Command-Line Tool☆19Nov 24, 2025Updated 6 months ago
- Helper script for Rakudo core development☆13Jan 25, 2025Updated last year
- A list of compilers with some metadata.☆12May 31, 2024Updated last year
- A collection of Babashka scripts☆12Jan 2, 2025Updated last year
- NES emulator☆17Jun 5, 2017Updated 8 years ago
- Miscellaneous notes on how to achieve things.☆12Feb 10, 2018Updated 8 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.
- Play snake in the terminal☆14Dec 28, 2018Updated 7 years ago
- ☆13Jul 19, 2018Updated 7 years ago
- A Go backend for Idris☆15Jul 28, 2018Updated 7 years ago
- A static analysis tool for PHP with a focus on code readability☆10Jun 12, 2023Updated 2 years ago
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- cl-drawille: Drawing in terminal with Unicode Braille characters.☆13Jul 28, 2021Updated 4 years ago
- Javascript DE-Obfuscator used to deobfuscate JS generated by javascriptobfuscator.com☆11Mar 6, 2020Updated 6 years ago