搜索结果：v（1232 个）
按分类缩小范围
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
cz-cli
综合 63
用于规范 Git 提交信息的 Commitizen 命令行工具。
lightcraft
综合 63
使用纯 Rust 从零编写的开源非破坏性照片编辑器。
theia
综合 63
基于 TypeScript 实现的现代化云端与桌面端跨平台 IDE 开发框架。
chromedp
综合 63
通过 Chrome DevTools Protocol 驱动和控制浏览器的快速、轻量方案。
webpack-bundle-analyzer
综合 63
Webpack 插件与 CLI 工具，用交互式可缩放树状图展示打包内容。
swc
综合 62
基于 Rust 构建的高性能 Web 编译与工具平台。
clients
综合 62
Bitwarden 客户端应用（含 Web、浏览器扩展、桌面端和 CLI）。
beekeeper-studio
综合 62
现代易用的跨平台数据库 GUI 与 SQL 客户端，支持 MySQL、Postgres、ClickHouse 等。
leetcode-patterns
综合 62
基于题型模式分类的技术面试刷题学习指南。
noVNC
综合 62
VNC 客户端 Web 应用。
rest-assured
综合 62
用于轻松测试 REST 服务的 Java DSL 工具库。
tabby
综合 62
支持自托管的 AI 代码辅助工具。
Inquirer.js
综合 62
通用的交互式命令行界面（CLI）集合库。
wtf
综合 62
专为终端打造的个人信息仪表盘，可在命令行中整合监控各类服务与日常数据。
undetected-chromedriver
综合 62
免配置的定制版 Selenium Chromedriver，可绕过各类反爬和机器人防护系统。
hacktricks
综合 62
汇集作者在 CTF、实战渗透及安全研究中积累的黑客技术知识库。
dbeaver
综合 62
免费通用的多平台数据库管理工具与 SQL 客户端。
delta
综合 62
支持 git、diff、grep、rg --json 和 blame 输出的语法高亮分页器。
blockly
综合 62
基于 Web 的可视化图形编程编辑器。