搜索结果：is（607 个）
按分类缩小范围
jedis
综合 63
简单易用的 Redis 官方 Java 客户端库。
inshellisense
综合 63
为命令行提供类似 IDE 风格的代码自动补全工具。
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
awesome-web-security
综合 63
精心整理的 Web 安全学习资料与实用资源列表。
tiny-rdm
综合 63
现代化轻量级 Redis 桌面客户端，跨平台支持，提供 Docker Web 版。
theia
综合 63
基于 TypeScript 实现的现代化云端与桌面端跨平台 IDE 开发框架。
capistrano
综合 62
基于 Ruby、Rake 和 SSH 构建的自动化部署工具。
create-t3-app
综合 62
快速创建全栈、类型安全的 Next.js 应用的脚手架工具。
tabby
综合 62
支持自托管的 AI 代码辅助工具。
learn_python3_spider
综合 62
从零开始的 Python 爬虫实战教程，涵盖网络抓包、主流爬虫框架、逆向破解及分布式等进阶内容。
ioredis
综合 62
功能完善、注重性能与健壮性的 Node.js Redis 客户端。
delta
综合 62
支持 git、diff、grep、rg --json 和 blame 输出的语法高亮分页器。
gunicorn
综合 62
适用于 UNIX 环境的 Python WSGI HTTP 服务器。
Osintgram
综合 62
针对 Instagram 的 OSINT 开源情报分析工具，提供交互式终端来分析指定用户的账号信息。
bore
综合 62
极简的 CLI 内网穿透工具，可快速将本地服务映射到公网。
lexical
综合 62
可扩展的文本编辑器框架，兼具高可靠性、无障碍支持与优秀性能。
foam
综合 62
基于 VSCode 的个人知识管理与分享系统。
pyodide
综合 62
基于 WebAssembly 的 Python 发行版，支持在浏览器和 Node.js 中运行 Python。
aws-doc-sdk-examples
综合 62
收录 AWS 官方文档及 SDK 开发者指南配套代码示例的仓库。
checkstyle
综合 62
Java 代码规范检查工具，默认支持 Google 与 Sun 编码规范且高度可配置。