(Grease|Violent)monkey Userscripts
☆38Jun 17, 2026Updated 2 weeks ago
Alternatives and similar repositories for userscripts
Users that are interested in userscripts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Simple WebExtension for detecting ws connection☆12Aug 27, 2019Updated 6 years ago
- A collection of useful TLA+ operators☆21Feb 15, 2018Updated 8 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆27May 13, 2026Updated last month
- Threema protocol implementation in C++☆20Nov 16, 2022Updated 3 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32May 5, 2026Updated 2 months 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.
- Testing and benchmarking tool for logic-related programs.☆33Jun 15, 2026Updated 3 weeks ago
- [private joke] IRC bot for a private channel on freenode☆19May 28, 2026Updated last month
- Analyzing the syntax of top npm packages☆19Sep 23, 2024Updated last year
- Find the closest babel config based on a directory☆13Sep 2, 2024Updated last year
- A part-of-speech tagger with support for domain adaptation and external resources.☆24Oct 26, 2022Updated 3 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 5 months ago
- Decodes and archives Guild Wars 2 STRS files☆25May 21, 2024Updated 2 years ago
- A Storybook builder powered by Parcel☆21Nov 26, 2024Updated last year
- Produce a heatmap of gzip files to better understand how gzip compresses your code☆24Feb 22, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆94Nov 12, 2025Updated 7 months ago
- Custom elements for easily using KaTeX☆24Jan 6, 2023Updated 3 years ago
- A minimalistic and high-performance SAT solver☆26Mar 4, 2024Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 9 months ago
- Vorwissenschaftliche Arbeit (VWA) mit pdflatex/KOMA professionell gestalten☆10Jul 27, 2016Updated 9 years ago
- ☆20Jun 13, 2018Updated 8 years ago
- ☆12Sep 11, 2022Updated 3 years ago
- ☆26May 11, 2022Updated 4 years ago
- Scylla, a tool for translating ultra-regular C code to Safe Rust☆39Apr 7, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Automatically compress podcasts to tiny file sizes for bandwidth constrained devices like cellular.☆10May 5, 2023Updated 3 years ago
- ttxweb - Teletext-to-HTML Generator: Generates beautiful and accessible HTML from Teletext pages (e.g. EP1 file format).☆16Sep 26, 2025Updated 9 months ago
- RL02-USB Interface☆16May 7, 2015Updated 11 years ago
- An illustration of good taste in code☆13Aug 2, 2024Updated last year
- LaTeX Template for iA Writer☆17Dec 27, 2023Updated 2 years ago
- Setup an MCP server in 60 seconds.☆13Dec 12, 2024Updated last year
- Gw2Browser allows you to browse through the contents of the Guild Wars 2 .dat file.☆69Sep 26, 2012Updated 13 years ago
- ZeParser3 was renamed to Tenko -> https://github.com/pvdz/tenko☆31Nov 7, 2019Updated 6 years ago
- solutions to the operating systems course at the tu wien☆14Jan 2, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆29Jun 24, 2026Updated last week
- ☆12Jan 20, 2026Updated 5 months ago
- Disney's Kinesis Client Library (for AWS Kinesis) in Rust.☆28Aug 29, 2025Updated 10 months ago
- Copilot with deepseek and more...☆13Mar 7, 2025Updated last year
- Unofficial Preact FAQ☆39Aug 11, 2019Updated 6 years ago
- AI Search engine☆13Sep 24, 2025Updated 9 months ago
- Atlaspack is the frontend bundler used to build Atlassian products, written in JavaScript and Rust by core contributors of Parcel.☆38Jun 28, 2026Updated last week