A document uploader that automatically downloads and sends PDFs to your reMarkable cloud through a web interface or API. Supports PDF conversion, compression, and organized file management.
☆24Mar 6, 2026Updated this week
Alternatives and similar repositories for Aviary
Users that are interested in Aviary are comparing it to the libraries listed below
Sorting:
- ☆10Sep 28, 2022Updated 3 years ago
- ☆11Oct 25, 2024Updated last year
- Curated list of awesome tools, demos, docs for ChatGPT and GPT-3☆12Mar 28, 2023Updated 2 years ago
- ☆49May 17, 2025Updated 9 months ago
- Home Assistant to TRMNL API bridge aggregator with authentication, timezone handling, and Docker deployment support☆15Jun 14, 2025Updated 8 months ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- 🎛️ Open-source dashboard for OpenClaw AI agents. Remote screen, terminal, file browser, session chat, kanban, memory viewer & more.☆27Feb 12, 2026Updated 3 weeks ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- MQTT integration of 345 MHz Honeywell/Ademco/2GIG wireless security sensors☆11Aug 18, 2023Updated 2 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- TRMNL local server to simulate the cloud service locally to serve own BMP's directly☆16Jan 1, 2026Updated 2 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- ☆15Feb 12, 2026Updated 3 weeks ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Command-line Utility for Bear Notes☆12Jun 24, 2022Updated 3 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Jun 27, 2024Updated last year
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated 8 months ago
- A modern, flexible logging tool☆10Aug 18, 2023Updated 2 years ago
- Linkding bookmark manager + SingleFile archiving combined☆18Jan 22, 2025Updated last year
- A plugin for Binary Ninja to query the Symgrate2 database.☆14Sep 11, 2021Updated 4 years ago
- raycast pro unlock proxy deployment by cloudflare☆14Feb 3, 2024Updated 2 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- Synchronize properties from your Obsidian notes with a Markwhen timeline file.☆12Sep 20, 2025Updated 5 months ago
- CLI for https://getdrafts.com☆18Dec 9, 2025Updated 2 months ago
- Extension host from VSCode extracted for use in Onivim 2☆13Apr 17, 2019Updated 6 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- Web app for tracking speedrunning times and personal bests.☆17Sep 18, 2021Updated 4 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- NextDNS recommended settings.☆12Nov 13, 2021Updated 4 years ago
- TinyBasic implementation in Racket (WIP)☆13Apr 25, 2025Updated 10 months ago
- Scheme libraries written or packaged for R7RS implementations☆13Apr 7, 2018Updated 7 years ago
- Import SRFI metadata into the Scheme API☆11Jan 19, 2026Updated last month
- Cross-platform C++11 header-only library for memory mapped file IO☆15Oct 9, 2025Updated 4 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Custom firmware for the Flic Twist smart button to directly integrate with Home Assistant using BTHome V2☆12May 6, 2024Updated last year