Marker Network Designer
☆33Nov 20, 2021Updated 4 years ago
Alternatives and similar repositories for marker.network
Users that are interested in marker.network are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Remarking is an unofficial command line tool for extracting highlights from documents on your reMarkable tablet.☆60May 29, 2022Updated 4 years ago
- generate and deliver a daily newspaper to you or your remarkable tablet☆336Updated this week
- A shim for emulating the rM1 framebuffer and input devices on rMPP thanks to qtfb☆14Aug 12, 2025Updated 11 months ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- Remarkable 2 calendar creator inspired by the Hobonichi Techo☆31Jun 2, 2026Updated last month
- 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.
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 3 years ago
- Send documents to your ReMarkable device via email, Kindle-style☆138Dec 23, 2021Updated 4 years ago
- Export annotated PDFs from ReMarkable tablets☆84Oct 4, 2020Updated 5 years ago
- An alternative interface to Opaleye, built around type families☆13Nov 23, 2016Updated 9 years ago
- Document reader☆53Sep 17, 2025Updated 10 months ago
- ☆15Oct 31, 2023Updated 2 years ago
- NanoVG Haskell bindings☆22May 17, 2023Updated 3 years ago
- Intrinsic Verification of Formal Grammar Theory☆28May 20, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A DDI solution based on PowerDNS, ISC Kea and NetBox.☆15Sep 22, 2024Updated last year
- force a full factory reset / re-update / upgrade☆195May 1, 2024Updated 2 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 7 years ago
- My dotfiles☆14Updated this week
- ☆14Jul 3, 2026Updated 3 weeks ago
- TLS Client Certificate Authentication and its Privacy Implications☆15Jul 25, 2017Updated 9 years ago
- [WIP] Optics via the profunctor representation theorem☆19Dec 18, 2019Updated 6 years ago
- Remy, an online&offline manager for the reMarkable tablet☆310May 11, 2025Updated last year
- Show a custom splash screen in a floating window☆16May 26, 2023Updated 3 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.
- Monokai Theme for Sublime Merge☆13Feb 22, 2024Updated 2 years ago
- Muse a handwriting AI thinking-partner for the reMarkable Paper Pro☆16Jul 11, 2026Updated 2 weeks ago
- Set of Docker images for cross-compiling binaries targeting the reMarkable tablet.☆42May 23, 2026Updated 2 months ago
- ☆25Apr 16, 2024Updated 2 years ago
- ☆15Mar 8, 2018Updated 8 years ago
- Query and control some features of the UniFi controller directly from your command-line.☆15Sep 19, 2018Updated 7 years ago
- additional functionality via binary patching☆1,767Dec 9, 2023Updated 2 years ago
- CLI for reading IETF RFCs☆15Apr 23, 2022Updated 4 years ago
- Add crude keyboard-lettering function to eink tablet☆88Sep 15, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- a library for experimental linear lambda calculus☆20Mar 18, 2023Updated 3 years ago
- ☆80Aug 30, 2022Updated 3 years ago
- public scratchpad☆45Jun 18, 2022Updated 4 years ago
- A network speed monitoring dashboard built with InfluxDB, Grafana, and Speedtest CLI☆13Nov 24, 2023Updated 2 years ago
- Pen event interception for line smoothing on the reMarkable 2 tablet☆172May 4, 2023Updated 3 years ago
- A LaTeX class for Horizon Europe RIA and IA grant proposals☆17Aug 17, 2025Updated 11 months ago
- ☆13Mar 26, 2026Updated 3 months ago