一些 userscript
☆19Feb 23, 2024Updated 2 years ago
Alternatives and similar repositories for userscript
Users that are interested in userscript 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 Bangumi extension for VSCode. Her data source came from Bilibili. [Maintenance phase]☆12Oct 7, 2023Updated 3 years ago
- Cross-OS development environment with an install system and one design system unifying every tool☆17Oct 3, 2026Updated last week
- I2P monitor and control application for Mac OS X☆12Jul 10, 2016Updated 10 years ago
- An implementation of pstree in rust based on the exercise from TLPI☆15Mar 18, 2016Updated 10 years ago
- ☆11Apr 29, 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.
- 使用Python线上打包Android项 目apk☆12Jun 30, 2017Updated 9 years ago
- My Swift Playground☆13Jul 18, 2022Updated 4 years ago
- A style guide for Haskell code.☆15May 26, 2025Updated last year
- ☆15May 9, 2024Updated 2 years ago
- Short and friendly command wrapper for APT☆12Jan 3, 2023Updated 3 years ago
- An experimental solver for (disjunctive) mixed-integer programming☆11Aug 27, 2021Updated 5 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- Pure Data vanilla patches☆11Dec 12, 2019Updated 6 years ago
- A handy cli interface to searching and opening books from your calibre library or recently read titles from your library.☆10Jun 14, 2020Updated 6 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.
- simple gemini browser for reMarkable☆14Mar 10, 2021Updated 5 years ago
- Spectral and other frequency-based calculation objects developed by Tristan Murail☆11May 6, 2022Updated 4 years ago
- wat☆14Feb 2, 2016Updated 10 years ago
- Workshop material: Composing 3D music using SuperCollider and ambisonics☆11Oct 1, 2022Updated 4 years ago
- Data Types a la carte from PureScript -> JavaScript☆13Apr 19, 2017Updated 9 years ago
- jsProxy with material style frontend.☆11Jul 24, 2025Updated last year
- The open-source of DomA, an AI automation agent for the browser.☆139Updated this week
- 《鱼声FM》是一款以发现音乐为核心的跨平台音乐软件，音乐类型主要偏纯音乐、后摇滚、电子乐、国风音乐等，如果你喜欢主要面向喜欢「鱼声音乐精选」公众号推荐的音乐，那么这个软件会让你发现更多宝藏音乐。☆26Jun 13, 2022Updated 4 years ago
- 用python+termux+auto.js 在安卓平板上实现每日定时爬取必应壁纸☆15Mar 3, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Command line dictionary tool☆17Mar 7, 2020Updated 6 years ago
- Source code and related files for the text editor EINE from 1975-1981☆16Aug 29, 2025Updated last year
- Wait last background job with a nice progress spinner☆13Nov 23, 2020Updated 5 years ago
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 6 months ago
- Emacs interface for dict.leo.org☆12Jan 9, 2025Updated last year
- Grid paper maker☆16Nov 16, 2019Updated 6 years ago
- The fastest Whisper optimization for automatic speech recognition as a command-line interface ⚡️☆10Dec 3, 2023Updated 2 years ago
- ☆12Aug 25, 2021Updated 5 years ago
- Algorithm for Fast Security-Constrained Optimal Power Flow through Low-Impact and Redundancy Screening☆12Aug 5, 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.
- vim-moonfly theme port to doom emacs☆11Aug 24, 2023Updated 3 years ago
- 一个面向个人的NAS软件☆20Feb 27, 2023Updated 3 years ago
- A convenient way to write text and track versions.☆13Feb 15, 2025Updated last year
- Haskell官方教程的中文翻译版。☆19Oct 31, 2011Updated 14 years ago
- ☠EXPERIMENTAL☠ vscode port of VEDA☆14Feb 20, 2019Updated 7 years ago
- A powerful browser extension for managing website cookies with support for adding, editing, deleting, and clearing cookies.☆17Jul 28, 2026Updated 2 months ago
- replace small numbers with zero☆16Apr 17, 2026Updated 5 months ago