🔧 推荐我使用过的、觉得还不错的软件工具，涉及 AI / macOS / iOS / Chrome 插件等。
☆110Apr 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:
- ☆29Apr 8, 2026Updated 3 weeks ago
- ☆32Mar 10, 2023Updated 3 years ago
- written by JavaScript. Convert HTML to Markdown.（将HTML转换为Markdown）☆16Jan 20, 2020Updated 6 years ago
- Windows 平台下的优秀软件、工具推荐列表☆35Jan 15, 2023Updated 3 years ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at once☆13Mar 27, 2025Updated last year
- 基于鼠标键盘操作的微信自动聊天机器人☆13Nov 26, 2024Updated last year
- IoT support for OpenWRT based router☆13May 10, 2020Updated 5 years ago
- ☆10Aug 9, 2021Updated 4 years ago
- A fork of Yosys that integrates the CellIFT pass☆13Apr 21, 2026Updated 2 weeks ago
- ☆14Jan 6, 2019Updated 7 years ago
- A model-based API Fuzzer for SMT Solvers.☆16Oct 14, 2025Updated 6 months ago
- ☆11Jul 26, 2023Updated 2 years ago
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated 11 months 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.
- 基于 Astro Starlight 构建的个人知识库文档☆13Jan 13, 2026Updated 3 months ago
- xposed module - qq send poke message☆15Nov 1, 2022Updated 3 years ago
- Qute: a dependency learning QBF solver.☆16Mar 31, 2026Updated last month
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Jun 30, 2022Updated 3 years ago
- ☆16Jan 5, 2022Updated 4 years ago
- ☆15Jun 18, 2023Updated 2 years ago
- Generate .alfredsnippets files by pasting .tsv content (i.e. from Google Sheets) into a textarea.☆12Jan 31, 2021Updated 5 years ago
- sync obsidian notes to xlog.app☆82Apr 13, 2024Updated 2 years ago
- A simple firefox/chrome extension adds Sci-Hub direct link access on publishing websites☆20May 11, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Anki 专用工具集☆14May 2, 2021Updated 5 years ago
- ☆14Jan 3, 2018Updated 8 years ago
- GetNote For MCP☆56Updated this week
- 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
- macOS 提高输入效率：输入法文本替换列表、Alfred Snippets☆14Jul 18, 2024Updated last year
- Spring Boot快速简单的基础教程，Mybatis、shiro、redis案例，持续更新中...☆10Jun 21, 2022Updated 3 years ago
- 为macOS的 ⌘Q 和 ⌘W 快捷键添加延时 / Block the ⌘Q & ⌘W hotkey for macOS☆39Sep 29, 2022Updated 3 years ago
- roam2anki is a project to export Roam Research note to anki☆11Jul 22, 2023Updated 2 years ago
- 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.
- 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 last month
- 为了便于我们更好的学习苹果的底层的内存的分配，所以将苹果的[官方libmalloc源码]编译好以便我们能够更好的去动态调试.☆23Dec 21, 2018Updated 7 years ago
- Generate a markdown table from your clibboard☆12Oct 29, 2015Updated 10 years ago
- Go语言实战流媒体视频网站☆11Aug 21, 2020Updated 5 years ago