Use a reMarkable tablet as a wireless mouse and keyboard
☆38Feb 14, 2024Updated 2 years ago
Alternatives and similar repositories for remarkable_keyboard
Users that are interested in remarkable_keyboard are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Using the pen input (wacom) of the reMarkable to move your mouse on a pc.☆64Nov 17, 2021Updated 4 years ago
- crossword game with simplistic handwriting recognition and automatic generation of crosswords☆71Jan 15, 2021Updated 5 years ago
- Set of Docker images for cross-compiling binaries targeting the reMarkable tablet.☆41Nov 1, 2025Updated 6 months ago
- Tools for the reMarkable paper tablet☆232Updated this week
- A FUSE filesystem wrapper for the reMarkable tablet☆87Apr 5, 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.
- All higher inductive types can be obtained from three simple HITs.☆17Apr 6, 2018Updated 8 years ago
- ☆22Jan 29, 2021Updated 5 years ago
- Rust implementation of the secret-handshake protocol.☆12Aug 14, 2021Updated 4 years ago
- A simple program to capture gpio button input on the reMarkable.☆14Sep 19, 2019Updated 6 years ago
- A simple hello-world application for the reMarkable based on the Qt Tablet example☆25Dec 1, 2017Updated 8 years ago
- A desktop environment for the reMarkable tablet☆271Apr 16, 2026Updated 3 weeks ago
- dom-like layout for terminal applications☆13Dec 27, 2020Updated 5 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle☆34Nov 30, 2022Updated 3 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.
- VNC client for the reMarkable tablet allowing you to use the device as a second screen☆289Aug 29, 2021Updated 4 years ago
- | remarkable app framework | https://rmkit.dev☆406Jul 4, 2025Updated 10 months ago
- Reification of data structures using observable sharing☆30Oct 27, 2024Updated last year
- Exampwe of ewwonyenyonyuns code:☆15Sep 25, 2019Updated 6 years ago
- Spreadsheet demo in Haskell☆16Feb 21, 2026Updated 2 months ago
- The missing book store for remarkable.☆82Aug 29, 2023Updated 2 years ago
- Native printing to reMarkable.☆295Mar 30, 2026Updated last month
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Automatically generates Hydra jobset reports using `nix-review-tools`, updated hourly.☆17Updated this week
- 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.
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Feb 13, 2018Updated 8 years ago
- The only public framework for developing applications with native refresh support for Remarkable Tablet☆684Sep 11, 2025Updated 7 months ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 5 years ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆41Apr 16, 2026Updated 3 weeks ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Mar 31, 2022Updated 4 years ago
- Community-maintained repository of free software for the reMarkable tablet.☆915Feb 11, 2026Updated 2 months ago
- Type theory + whales and syntax☆11Nov 28, 2019Updated 6 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- My Agda blog/lab/playground☆13Apr 25, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Homotopy type theory cheatsheets☆12Apr 15, 2026Updated 3 weeks ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- A showcase of interesting code and proof developments in Cedille☆36Jun 10, 2025Updated 10 months ago
- being a collection of Agda-facilitated ramblings☆33May 20, 2020Updated 5 years ago
- A Unifying Cartesian Cubical Set Model☆35Oct 14, 2019Updated 6 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- ☆20Jul 8, 2023Updated 2 years ago