🔧 推荐我使用过的、觉得还不错的软件工具，涉及 AI / macOS / iOS / Chrome 插件等。
☆108Apr 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:
- ☆29Updated this week
- ☆32Mar 10, 2023Updated 3 years ago
- written by JavaScript. Convert HTML to Markdown.（将HTML转换为Markdown）☆16Jan 20, 2020Updated 6 years ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated 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.
- YoudaoNote to WizNote，有道云笔记数据迁移为知笔记☆12Dec 4, 2018Updated 7 years ago
- A proxy behind nginx while before kibana (4.x, 5.x) to provide data isolation for different users☆24May 6, 2019Updated 6 years ago
- Personal Tech Blog☆19Jan 13, 2025Updated last year
- CUDA program to find the tallest possible cacti in Minecraft.☆10Jan 1, 2024Updated 2 years ago
- Free Deploy Typecho Blog in Vercel | Vercel 免费部署 Typecho 博客☆14Sep 22, 2025Updated 6 months ago
- GetNote For MCP☆47Updated this week
- 飞书文档导出助手，将飞书文档导出为 Markdown，同时支持将图片及附件上传到指定位置。☆18Dec 2, 2023Updated 2 years ago
- 微信读书 Web 端工具箱（Chrome 插件）☆13Apr 17, 2025Updated 11 months ago
- Provides a packaged collection of open source EDA tools☆12Apr 14, 2019Updated 7 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.
- 💭 kansAI is a CLI tool for converting text to Kansai dialect.☆10Apr 19, 2024Updated last year
- MT29F128G based NAND flash controller☆10Jun 17, 2021Updated 4 years ago
- Perl 单行解释中文版☆12Dec 20, 2018Updated 7 years ago
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated 10 months ago
- 基于 Astro Starlight 构建的个人知识库文档☆13Jan 13, 2026Updated 3 months ago
- xposed module - qq send poke message☆15Nov 1, 2022Updated 3 years ago
- Development of a virtual quadruped robot using OpenAI & Mujoco☆17Feb 15, 2023Updated 3 years ago
- 一个集成时间问候、天气信息、智能搜索，以及应用与书签快捷入口的现代化导航页☆57Dec 26, 2025Updated 3 months ago
- Synchronizes Obsidian notes to Anki in a breeze 💨️☆76Apr 10, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Minimal example for React with TypeScript.☆16Nov 3, 2023Updated 2 years ago
- 灵蛇·代理抓取工具☆16Aug 31, 2021Updated 4 years ago
- Generate .alfredsnippets files by pasting .tsv content (i.e. from Google Sheets) into a textarea.☆12Jan 31, 2021Updated 5 years ago
- Anki 专用工具集☆13May 2, 2021Updated 4 years ago
- Make bilingual epub books Using AI translate☆13Mar 22, 2023Updated 3 years ago
- search the mac app store right in alfred☆17Oct 4, 2019Updated 6 years ago
- my personal code snippets☆13Jan 8, 2021Updated 5 years ago
- 适用于Laravel的商品属性，SKU模块实现☆11Mar 9, 2021Updated 5 years ago
- symbolic reachability checker☆23Sep 23, 2021Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 基于VLC开发的OSX视频播放器☆17Apr 21, 2017Updated 8 years ago
- roam2anki is a project to export Roam Research note to anki☆11Jul 22, 2023Updated 2 years ago
- ETH-balance☆23Sep 7, 2025Updated 7 months ago
- Convert C files into Verilog☆21Jan 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
- Go语言实战流媒体视频网站☆11Aug 21, 2020Updated 5 years ago
- CLI for build Typescript React App.☆14Jan 6, 2023Updated 3 years ago