搜索结果：at（1070 个）

Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。

用于规范 Git 提交信息的 Commitizen 命令行工具。

使用纯 Rust 从零编写的开源非破坏性照片编辑器。

精心整理的 Web 安全学习资料与实用资源列表。

Playwright 命令行工具，支持录制生成代码、检查选择器与网页截图。

Webpack 插件与 CLI 工具，用交互式可缩放树状图展示打包内容。

Scio 是为 Apache Beam 和 Google Cloud Dataflow 打造的 Scala API，风格贴近 Spark。它解决了 Beam 原生开发体验繁琐的问题，提供批流一体的编程模型，深度整合 BigQuery、Pub/Sub 等 GCP 服务，并原生支持 Cassandra、Parquet、TensorFlow 等多样数据源与交互式 REPL。

基于 Rust 构建的高性能 Web 编译与工具平台。

基于 Ruby、Rake 和 SSH 构建的自动化部署工具。

快速创建全栈、类型安全的 Next.js 应用的脚手架工具。

现代易用的跨平台数据库 GUI 与 SQL 客户端，支持 MySQL、Postgres、ClickHouse 等。

基于题型模式分类的技术面试刷题学习指南。

VNC 客户端 Web 应用。

用于轻松测试 REST 服务的 Java DSL 工具库。

一门用于构建类型安全、高可扩展性系统的友好函数式编程语言。

专为终端打造的个人信息仪表盘，可在命令行中整合监控各类服务与日常数据。

功能完善、注重性能与健壮性的 Node.js Redis 客户端。

免配置的定制版 Selenium Chromedriver，可绕过各类反爬和机器人防护系统。

汇集作者在 CTF、实战渗透及安全研究中积累的黑客技术知识库。

免费通用的多平台数据库管理工具与 SQL 客户端。