☆32Jun 5, 2025Updated last year
Alternatives and similar repositories for zotero2remarkable_bridge
Users that are interested in zotero2remarkable_bridge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A script/utility to keep a zotero collection and remarkable file in sync☆72Nov 15, 2020Updated 5 years ago
- Extract highlights, scribbles, and annotations from PDFs marked with the reMarkable tablet. Export to Markdown and PDF☆60Jun 1, 2026Updated last month
- Synchronize all the .pdf files in your Zotero library with your reMarkable device☆45Feb 3, 2021Updated 5 years ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 2 years ago
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆16Feb 8, 2024Updated 2 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.
- Tool to sync Zotero papers to the reMarkable tablet.☆26May 2, 2021Updated 5 years ago
- A package to draw jigsaw pieces with tikz☆14Jul 6, 2026Updated 3 weeks ago
- Zapier Integration for the reMarkable Tablet☆25Apr 2, 2021Updated 5 years ago
- Rewriting Anno 1602 from scratch, using extracted assets from the original game.☆10Aug 3, 2018Updated 7 years ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 6 years ago
- Zotero / ReMarkable connector☆20Nov 5, 2022Updated 3 years ago
- Convert remarkable notebooks into Anki packages (.apkg)☆14Jan 14, 2024Updated 2 years ago
- 📃 reMarkable 2 template for time block planning☆13Apr 5, 2022Updated 4 years ago
- Sync papers from Zotero to a reMarkable tablet☆191Jun 1, 2020Updated 6 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.
- Go app that allows you to access your reMarkable tablet files through the Cloud API☆1,014Dec 23, 2023Updated 2 years ago
- Pauli operators manipulation toolbox.☆19Jul 1, 2026Updated 3 weeks ago
- Go app that allows you to access your reMarkable tablet files through the Cloud API☆300Jun 1, 2026Updated last month
- ☆19Jul 27, 2025Updated last year
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated last year
- A Python Implementation of Predictive Coding (Whittington & Bogacz 2017)☆19Jul 28, 2020Updated 6 years ago
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆16Oct 28, 2025Updated 9 months ago
- ☆10Nov 11, 2023Updated 2 years ago
- Predictive coding networks for temporal prediction☆20Mar 20, 2024Updated 2 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.
- ☆18Jul 5, 2026Updated 3 weeks ago
- Incremental Reading for Emacs & Org-mode☆11Jun 17, 2026Updated last month
- Maildir synchronization tool☆20Jun 30, 2021Updated 5 years ago
- Repository containing materials for Esther Seyffarth's presentation at code.talks 2019: "20 Terrible Ways to Reverse a String"☆14Oct 25, 2019Updated 6 years ago
- Automatically sending RSS feed to remarkable via google drive☆20Aug 12, 2025Updated 11 months ago
- Background ZMQ IPython/Jupyter kernel☆20Aug 19, 2025Updated 11 months ago
- Rogue client for nextbike☆23Jun 29, 2023Updated 3 years ago
- ☆19Jul 23, 2017Updated 9 years ago
- ☆20Sep 10, 2025Updated 10 months 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.
- Overview of tactics in Lean 4 for beginners — longer version☆119Apr 28, 2026Updated 3 months ago
- Implementation/simulation of active neural generative coding (ANGC) for training neurobiologically-plausible active inference agent model…☆25Feb 19, 2024Updated 2 years ago
- Firefox version of rePub - reMarkable ePub generator☆22Nov 24, 2024Updated last year
- Notes on and a reference guide for the Jujutsu version control system, typeset with Typst.☆43Feb 12, 2025Updated last year
- Black Candy mobile apps☆31Updated this week
- GrandPrix☆17May 27, 2019Updated 7 years ago
- A Henkin-style completeness proof for the modal logic S5☆18Jun 20, 2021Updated 5 years ago