Small PDF manipulation scripts
☆16Apr 16, 2025Updated last year
Alternatives and similar repositories for pdf-scripts
Users that are interested in pdf-scripts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The all in one AirMessage (iMessage) script you can forget about☆13Oct 29, 2019Updated 6 years ago
- Fully local image generation for macOS and iOS☆12Mar 8, 2023Updated 3 years ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- QuickLook plugin for images that includes the image's size in the title bar☆12Jul 21, 2021Updated 5 years ago
- 🧭 Open links natively inside Messages, for iOS☆11Apr 19, 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.
- ☆15Nov 9, 2025Updated 8 months ago
- Auto-eject your external drives before sleep, reduces the annoying macOS ejection warnings without paying for bloated apps. Free, simple,…☆13Jun 5, 2025Updated last year
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- List of useful Quick Look plugins for developers☆10Feb 15, 2017Updated 9 years ago
- DNS-Blocklists: For a better internet - keep the internet clean!☆10Jul 19, 2026Updated last week
- outline and links for PLDI 2022 tutorial☆17Jun 13, 2022Updated 4 years ago
- Formal Verification for JavaScript Regular Expressions☆15Jul 8, 2026Updated 2 weeks ago
- 🧛🏻♂️ Dark theme for Rio Terminal☆20Mar 21, 2026Updated 4 months ago
- A Sketch plugin to easily find layers that are out of sync with their shared styles.☆11Jan 5, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Generate iOS/OS X configuration profiles for VPNs☆12Feb 23, 2022Updated 4 years ago
- ☆10Dec 16, 2024Updated last year
- LLM Powered Social Media Simulator☆11Mar 29, 2025Updated last year
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 2026Updated 4 months ago
- Encrypted DNS profiles for macOS and iOS☆10Jul 26, 2021Updated 5 years ago
- A similarity measurer on two programming assignments on Online Judge.☆10Jan 6, 2023Updated 3 years ago
- ☆13Apr 10, 2025Updated last year
- User JS, YouTube-Sponsor-Skip/YouTube 去广告油猴脚本, LMHTFY - Twitter/通过关键词隐藏Twitter用户☆15Dec 27, 2024Updated last year
- ☆18Jul 24, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- vertical + gpu + free join + datalog☆22Feb 12, 2025Updated last year
- Quick look plugin for macOS for source code files☆14Oct 22, 2018Updated 7 years ago
- A demo 1-to-1 implementation with high availability in Golang for Raft, based on 6.824's raft labs. (NJU dissys course's lab code)☆13Dec 30, 2021Updated 4 years ago
- Full guide of 6.828 OS Lab☆15Aug 29, 2020Updated 5 years ago
- A native macOS app that allows users to chat with a local LLM, based on FreeChat (https://github.com/psugihara/FreeChat). It adds the abi…☆17Sep 26, 2024Updated last year
- Some scripts I've written, modified, or stolen for doing various things.☆17Dec 1, 2024Updated last year
- A system for programming formally-verified loop transformations.☆16Jan 31, 2019Updated 7 years ago
- ☆14Updated this week
- Stable sort algorithms and their stability proofs in Rocq☆25Dec 10, 2025Updated 7 months ago
- 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.
- OS Tutorial Summer of Code 2020☆19Jun 7, 2022Updated 4 years ago
- ☆15Nov 20, 2019Updated 6 years ago
- Some C++ code to implement canny edge detector☆12Jul 4, 2021Updated 5 years ago
- ☆14Aug 20, 2021Updated 4 years ago
- Autocorrection, synonym suggestions for the word under the cursor, and rephrasing of the selected text. All with one key press.☆20Jun 22, 2026Updated last month
- ☆12Feb 21, 2025Updated last year
- MacPilot CLI is a mcp server, It provides a collection of system tools that allow AI assistants to perform various operations on macOS sy…☆16May 10, 2025Updated last year