搜索结果：is（606 个）
按分类缩小范围
mastg
综合 63
OWASP 移动应用安全测试指南（MASTG），提供移动 App 安全测试和逆向工程的全面技术手册。
pipx
综合 63
在隔离环境中安装和运行 Python 应用程序的命令行工具。
让 Opencode 通过 OAuth 连接 Antigravity，以使用其额度访问 gemini-3-pro 等模型。
jsonhero-web
综合 63
开源美观的 Web 端 JSON 浏览器，支持快速浏览、搜索和导航 JSON 文件。
jedis
综合 63
简单易用的 Redis 官方 Java 客户端库。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
awesome-web-security
综合 63
精心整理的 Web 安全学习资料与实用资源列表。
inshellisense
综合 63
为命令行提供类似 IDE 风格的代码自动补全工具。
theia
综合 63
基于 TypeScript 实现的现代化云端与桌面端跨平台 IDE 开发框架。
capistrano
综合 62
基于 Ruby、Rake 和 SSH 构建的自动化部署工具。
create-t3-app
综合 62
快速创建全栈、类型安全的 Next.js 应用的脚手架工具。
tabby
综合 62
支持自托管的 AI 代码辅助工具。
ioredis
综合 62
功能完善、注重性能与健壮性的 Node.js Redis 客户端。
undetected-chromedriver
综合 62
免配置的定制版 Selenium Chromedriver，可绕过各类反爬和机器人防护系统。
delta
综合 62
支持 git、diff、grep、rg --json 和 blame 输出的语法高亮分页器。
learn_python3_spider
综合 62
从零开始的 Python 爬虫实战教程，涵盖网络抓包、主流爬虫框架、逆向破解及分布式等进阶内容。
blockly
综合 62
基于 Web 的可视化图形编程编辑器。
gunicorn
综合 62
适用于 UNIX 环境的 Python WSGI HTTP 服务器。
gitbucket
综合 62
GitBucket 是一款基于 Scala 的开源 Git 代码托管平台，旨在为开发者提供易安装、轻量级的私有 Git 服务。它兼容 GitHub API，只需 Java 即可运行；核心功能涵盖公私有仓库、代码在线编辑、Issues、PR、Wiki、Git LFS 及插件扩展机制。
Osintgram
综合 62
针对 Instagram 的 OSINT 开源情报分析工具，提供交互式终端来分析指定用户的账号信息。