🐀 Move your mouse with your keyboard on linux
☆17May 14, 2021Updated 5 years ago
Alternatives and similar repositories for Mousepad
Users that are interested in Mousepad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☯️ Extension that removes distractions from YouTube for Firefox, Chrome, Brave, Edge...☆11Aug 4, 2023Updated 3 years ago
- 📦 Desktop app oriented database☆19Mar 4, 2023Updated 3 years ago
- Utilities for working with keymaps in Emacs☆12May 8, 2020Updated 6 years ago
- Bobbin wraps strings.☆10Jan 15, 2020Updated 6 years ago
- The docs for electron-react-boilerplate☆16Jul 13, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- mtool is a tool to snapshot, verify and restore file modification timestamp (mtime) of files in git repositories and it is designed to ov…☆14Nov 28, 2020Updated 5 years ago
- Flames of freedom for Emacs☆12Dec 2, 2019Updated 6 years ago
- X3 IRC Services☆19Apr 24, 2026Updated 3 months ago
- Nefarious IRCu (Based on IRCu 2.10.11.07)☆15Dec 17, 2013Updated 12 years ago
- ☆15Oct 3, 2023Updated 2 years ago
- Generates the list of active flags in bromite☆18Apr 18, 2026Updated 3 months ago
- Ask StackExchange/StackOverflow in Emacs☆17Jul 26, 2022Updated 4 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A fast and reliable screenshot capture API, built on top of Selenium.☆25Jun 10, 2024Updated 2 years 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.
- find files fast with helm and find in emacs☆27Jan 30, 2018Updated 8 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Generates random utf-8 strings for fuzz t�sting character encoding probl�ms☆11Aug 21, 2015Updated 10 years ago
- fast unique variables☆10Aug 23, 2025Updated 11 months ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Rust bindings to [primesieve](http://primesieve.org)☆10May 7, 2017Updated 9 years ago
- ☆11Dec 23, 2018Updated 7 years ago
- A library for generating RSS 2.0 feeds.☆18Jan 6, 2026Updated 7 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.
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 4 years ago
- Buddies of Budgie documentation, built with Docusaurus.☆12Jun 6, 2026Updated 2 months ago
- A representation of latitude and longitude☆15Nov 25, 2019Updated 6 years ago
- Change mode-line names of major/minor modes☆27Jan 21, 2020Updated 6 years ago
- repository for questions that are asked (or you want answered!) during storytelling sessions☆12Sep 7, 2025Updated 11 months ago
- Automates the build of pkgsrc binary packages in a sandbox☆15Mar 14, 2022Updated 4 years ago
- Launch an external application from dired☆30Feb 11, 2024Updated 2 years ago
- pbcli is a command line client which allows to upload and download pastes from privatebin directly from the command line.☆33Jul 12, 2026Updated last month
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 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.
- Symbolic logic expressions☆16Jul 1, 2020Updated 6 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- a blog platform for mathematicians☆22Updated this week
- A blog about Coq☆11Mar 21, 2021Updated 5 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 9 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 4 years ago
- Tuple data structures.☆15Jan 4, 2017Updated 9 years ago