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☆323May 29, 2026Updated 2 weeks ago
- Unoffical reMarkable AddOn for Firefox.☆84Mar 20, 2025Updated last year
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- ESGF Downloader (this is a deprecated repository, the tool has now moved to https://github.com/ESGF/esgf-download)☆21Nov 28, 2024Updated last year
- 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.
- Remarkable 2 calendar creator inspired by the Hobonichi Techo☆30Jun 2, 2026Updated last week
- Revamped version of Polititweet.org☆12Jul 12, 2023Updated 2 years ago
- Send documents to your ReMarkable device via email, Kindle-style☆138Dec 23, 2021Updated 4 years ago
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- Yet another Vulkan based rendering engine.☆11Jan 8, 2019Updated 7 years ago
- Export annotated PDFs from ReMarkable tablets☆83Oct 4, 2020Updated 5 years ago
- Document reader☆53Sep 17, 2025Updated 8 months ago
- An alternative interface to Opaleye, built around type families☆13Nov 23, 2016Updated 9 years ago
- Python based command line Gist management. Easy access to read and create Gists / snippets.☆15Jul 20, 2020Updated 5 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.
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- A management application for the remarkable tablet☆153Jun 27, 2024Updated last year
- force a full factory reset / re-update / upgrade☆194May 1, 2024Updated 2 years ago
- Reduces boilerplate for adding a shell completion command to Clap☆26Mar 24, 2026Updated 2 months ago
- Intrinsic Verification of Formal Grammar Theory☆28May 20, 2026Updated 3 weeks ago
- Experimental Redis plugin for Vim☆13Jun 8, 2013Updated 13 years ago
- My dotfiles☆14Jun 8, 2026Updated last week
- A live viewer for reMarkable written in PyQt5☆826Oct 8, 2025Updated 8 months ago
- ☆14Jun 8, 2026Updated last week
- 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.
- [WIP] Optics via the profunctor representation theorem☆20Dec 18, 2019Updated 6 years ago
- TLS Client Certificate Authentication and its Privacy Implications☆15Jul 25, 2017Updated 8 years ago
- An approach to higher algebra in type theory☆23May 12, 2020Updated 6 years ago
- Remy, an online&offline manager for the reMarkable tablet☆309May 11, 2025Updated last year
- Sublime Text 2 Cisco Snippets. This package includes various snippets for Cisco routers/switch/firewall configurations.☆17Jul 31, 2018Updated 7 years ago
- A Teeny Type Theory☆27Jun 4, 2022Updated 4 years ago
- ☆14Sep 7, 2025Updated 9 months ago
- A DDI solution based on PowerDNS, ISC Kea and NetBox.☆15Sep 22, 2024Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆21Sep 15, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- formalization of an equivariant cartesian cubical set model of type theory☆21Jan 3, 2025Updated last year
- Set of Docker images for cross-compiling binaries targeting the reMarkable tablet.☆41May 23, 2026Updated 3 weeks 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
- Fetch an academic paper or web article and send it to the reMarkable tablet with a single command☆382Feb 16, 2025Updated last year
- Generate small sequence of music from commit SHA☆13May 17, 2018Updated 8 years ago
- Concurrect ping to multiple hosts with support for ICMP and TCP☆15Sep 19, 2022Updated 3 years ago