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☆357Oct 28, 2026Updated last week
- A shim for emulating the rM1 framebuffer and input devices on rMPP thanks to qtfb☆14Aug 12, 2025Updated last year
- Unoffical reMarkable AddOn for Firefox.☆88Mar 20, 2025Updated last year
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 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.
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- A modern, principled toy implementation of dependent type theory☆12Mar 5, 2026Updated 8 months ago
- Revamped version of Polititweet.org☆12Jul 12, 2023Updated 3 years ago
- Downgrade any xx30 series ThinkPad to an 1vyrain compatible BIOS version.☆15Feb 26, 2021Updated 5 years ago
- Send documents to your ReMarkable device via email, Kindle-style☆140Dec 23, 2021Updated 4 years ago
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated last year
- An alternative interface to Opaleye, built around type families☆13Nov 23, 2016Updated 9 years ago
- A minimal example of recursion in Noir.☆11Oct 21, 2023Updated 3 years ago
- Dayplanner pdf for large e-readers (eg Remarkable 2, Supernote, Kindle Scribe, Boox)☆81Aug 29, 2022Updated 4 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.
- Document reader☆53Sep 17, 2025Updated last year
- Linear Types, Symmetric Monoidal Categories, and Tensors☆14Oct 14, 2025Updated last year
- Local-first, source-cited memory for AI agents☆13Updated this week
- Simple fullstack app for facebook-like feed. For selfhosting and selfposting.☆10Feb 14, 2021Updated 5 years ago
- Export annotated PDFs from ReMarkable tablets☆83Oct 4, 2020Updated 6 years ago
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- De-obfuscated payload from the September 8 2025 npm supply chain attack☆13Sep 8, 2025Updated last year
- A chrome plugin to automatically poke facebook friends☆10Jan 6, 2015Updated 11 years ago
- ☆10Feb 23, 2021Updated 5 years 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.
- Higher Algebra with Opetopic Types☆17Mar 30, 2023Updated 3 years ago
- NanoVG Haskell bindings☆22May 17, 2023Updated 3 years ago
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 6 years ago
- Mapping videos of speed climbers onto a virtual wall using ML, OpenCV, and maths. Implementation of my master's thesis.☆13Jul 20, 2023Updated 3 years ago
- Latex package to print spectral sequence diagrams using pgf/tikz.☆12Jan 18, 2026Updated 9 months ago
- Uncover the world with a single lightweight library - countries, codes, currencies, flags, languages, cities, and more 🌎☆10Aug 15, 2026Updated 2 months ago
- Organize mathematical thoughts☆21Oct 6, 2023Updated 3 years ago
- A Python wrapper for Matrix Synapse admin API☆13Jun 3, 2025Updated last year
- [WIP] Optics via the profunctor representation theorem☆19Dec 18, 2019Updated 6 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.
- force a full factory reset / re-update / upgrade☆196May 1, 2024Updated 2 years ago
- A live viewer for reMarkable written in PyQt5☆825Oct 8, 2025Updated last year
- A patch-friendly dmenu distribution☆10Nov 3, 2020Updated 6 years ago
- A Teeny Type Theory☆26Jun 4, 2022Updated 4 years ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- ☆19Updated this week
- Remy, an online&offline manager for the reMarkable tablet☆310May 11, 2025Updated last year