🔧 推荐我使用过的、觉得还不错的软件工具，涉及 AI / macOS / iOS / Chrome 插件等。
☆111Apr 4, 2024Updated 2 years ago
Alternatives and similar repositories for Tools
Users that are interested in Tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is the best for me in MBP. My favorite MacOS apps☆31Sep 17, 2022Updated 3 years ago
- written by JavaScript. Convert HTML to Markdown.（将HTML转换为Markdown）☆16Jan 20, 2020Updated 6 years ago
- Chrome 插件 自动签到☆17Nov 24, 2014Updated 11 years ago
- A copy of the latest version of MVSIS☆13Apr 18, 2021Updated 5 years ago
- 基于鼠标键盘操作的微信自动聊天机器人☆13Nov 26, 2024Updated last year
- 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.
- Personal Tech Blog☆20Jan 13, 2025Updated last year
- Agentic translation using reflection workflow, refactored and sugared.☆10Sep 25, 2024Updated last year
- ☆10Aug 9, 2021Updated 4 years ago
- Provides a packaged collection of open source EDA tools☆12Apr 14, 2019Updated 7 years ago
- https://t.me/OfficialBananaBot/banana?startapp=referral=HS3JIH5☆12Aug 10, 2024Updated last year
- ☆11Jul 1, 2025Updated last year
- A fork of Yosys that integrates the CellIFT pass☆13Apr 21, 2026Updated 2 months ago
- ☆10Oct 15, 2021Updated 4 years ago
- A model-based API Fuzzer for SMT Solvers.☆16May 20, 2026Updated last month
- 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.
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated last year
- 基于 Astro Starlight 构建的个人知识库文档☆13Jan 13, 2026Updated 5 months ago
- xposed module - qq send poke message☆14Nov 1, 2022Updated 3 years ago
- Development of a virtual quadruped robot using OpenAI & Mujoco☆18Feb 15, 2023Updated 3 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Jun 30, 2022Updated 4 years ago
- 灵蛇·代理抓取工具☆16Aug 31, 2021Updated 4 years ago
- ☆16Jan 5, 2022Updated 4 years ago
- ☆15Jun 18, 2023Updated 3 years ago
- Generate .alfredsnippets files by pasting .tsv content (i.e. from Google Sheets) into a textarea.☆12Jan 31, 2021Updated 5 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.
- 图片拼接小工具☆11Sep 21, 2023Updated 2 years ago
- symbolic reachability checker☆23Sep 23, 2021Updated 4 years ago
- 为macOS的 ⌘Q 和 ⌘W 快捷键添加延时 / Block the ⌘Q & ⌘W hotkey for macOS☆40Sep 29, 2022Updated 3 years ago
- 基于VLC开发的OSX视频播放器☆17Apr 21, 2017Updated 9 years ago
- Common Interface to Boolean Satisfiability Solvers from Common Lisp☆21Apr 29, 2022Updated 4 years ago
- Convert C files into Verilog☆22Jan 27, 2019Updated 7 years ago
- Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.☆17Aug 2, 2023Updated 2 years ago
- ☆15Mar 27, 2026Updated 3 months ago
- Laravel Licensing Filament Manager☆34Jun 22, 2026Updated last week
- 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.
- ☆17Oct 20, 2016Updated 9 years ago
- AiBal 是一款 菜单栏应用，为 AI 重度用户提供统一的多服务用量监控平台。☆26Jan 2, 2026Updated 6 months ago
- A class scanner to find a collection of resource ids using reflection.☆11Nov 25, 2020Updated 5 years ago
- laravel signature☆10Jul 5, 2021Updated 4 years ago
- Cloudflare Worker For Session Authentication☆12Feb 4, 2023Updated 3 years ago
- Hardware Formal Verification☆17Aug 10, 2020Updated 5 years ago
- GetNote For MCP☆81Jun 19, 2026Updated 2 weeks ago