☆33Jun 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:
- Sync PDF attachments between Zotero and your ReMarkable back and forth☆38Dec 7, 2025Updated 11 months ago
- A script/utility to keep a zotero collection and remarkable file in sync☆73Nov 15, 2020Updated 5 years ago
- A LateX template for writing ERC (European Research Counsil) grants☆18Oct 11, 2024Updated 2 years ago
- Sync papers from Zotero to a reMarkable tablet☆193Jun 1, 2020Updated 6 years ago
- Zapier Integration for the reMarkable Tablet☆25Apr 2, 2021Updated 5 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.
- ☆12Apr 17, 2023Updated 3 years ago
- Go app that allows you to access your reMarkable tablet files through the Cloud API☆1,017Dec 23, 2023Updated 2 years ago
- Zotero / ReMarkable connector☆20Nov 5, 2022Updated 4 years ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 6 years ago
- pure Haskell implementation of reduced ordered binary decision diagrams☆11Mar 15, 2024Updated 2 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- Imperial Chemistry department's introduction to programming using Python☆11Jun 7, 2025Updated last year
- Export Garmin Connect activities to iCalendar file☆10Sep 18, 2026Updated last month
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated last year
- 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.
- Example on how to integrate Haskell and C++ library.☆13Apr 18, 2015Updated 11 years ago
- Go app that allows you to access your reMarkable tablet files through the Cloud API☆345Aug 23, 2026Updated 2 months ago
- client/library/framework for the Scuttlebut.nz (SSB) network☆13Oct 3, 2017Updated 9 years ago
- Functional Algorithms Design☆19Oct 18, 2026Updated 2 weeks ago
- ZnH5MD - High Performance Interface for H5MD Trajectories☆14Updated this week
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- ☆18Sep 28, 2022Updated 4 years ago
- ☆10Nov 11, 2023Updated 2 years ago
- Extract annotations (highlights and scribbles) from PDF, EPUB, and notebooks marked with reMarkable tablets. Export to Markdown, PDF, PNG…☆400May 26, 2024Updated 2 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.
- Pauli operators manipulation toolbox.☆21Aug 21, 2026Updated 2 months ago
- Location-based techno with Sonic Pi and gpsd☆14Jun 12, 2024Updated 2 years ago
- ☆11Feb 25, 2020Updated 6 years ago
- Client for the Sagemcom f3896/Ziggo SmartWifi modem (black)☆11Dec 2, 2024Updated last year
- A Python Implementation of Predictive Coding (Whittington & Bogacz 2017)☆19Jul 28, 2020Updated 6 years ago
- A package for making MuE observation models in Edward2.☆13Jun 10, 2021Updated 5 years ago
- A unofficial python module for interacting with the Remarkable Cloud☆129Oct 29, 2023Updated 3 years ago
- Make valid molecular graphs!☆23Mar 8, 2024Updated 2 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆11Feb 20, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆19Jul 23, 2017Updated 9 years ago
- ☆16Dec 8, 2022Updated 3 years ago
- Overview of tactics in Lean 4 for beginners — longer version☆124Apr 28, 2026Updated 6 months ago
- Start of a CM12 port for the Fairphone 2☆12Jan 12, 2016Updated 10 years ago
- An Emacs package for org-mode that enables incremental task management with priority queuing, outstanding task tracking.☆11Jan 31, 2026Updated 9 months ago
- Rogue client for nextbike☆23Jun 29, 2023Updated 3 years ago
- A Henkin-style completeness proof for the modal logic S5☆18Jun 20, 2021Updated 5 years ago