搜索结果：form（236 个）
按分类缩小范围
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
swc
综合 62
基于 Rust 构建的高性能 Web 编译与工具平台。
wtf
综合 62
专为终端打造的个人信息仪表盘，可在命令行中整合监控各类服务与日常数据。
ioredis
综合 62
功能完善、注重性能与健壮性的 Node.js Redis 客户端。
gitbucket
综合 62
GitBucket 是一款基于 Scala 的开源 Git 代码托管平台，旨在为开发者提供易安装、轻量级的私有 Git 服务。它兼容 GitHub API，只需 Java 即可运行；核心功能涵盖公私有仓库、代码在线编辑、Issues、PR、Wiki、Git LFS 及插件扩展机制。
Osintgram
综合 62
针对 Instagram 的 OSINT 开源情报分析工具，提供交互式终端来分析指定用户的账号信息。
lexical
综合 62
可扩展的文本编辑器框架，兼具高可靠性、无障碍支持与优秀性能。
aws-doc-sdk-examples
综合 62
收录 AWS 官方文档及 SDK 开发者指南配套代码示例的仓库。
jmeter
综合 62
Apache JMeter 开源负载测试工具，用于分析和测量各类服务的性能表现。
Sylius
综合 62
基于 PHP、Symfony 和 API Platform 构建的无头开源电商平台。
spinnaker
综合 61
开源多云持续交付平台，助力快速、高可靠地发布软件变更。
onefetch
综合 61
用于在终端展示 Git 仓库概览信息的命令行工具。
crawlab
综合 61
分布式爬虫管理平台，支持任意编程语言和爬虫框架，便于集中管理与调度任务。
jsoneditor
综合 61
基于 Web 的 JSON 查看、编辑、格式化与校验工具。
dbx
综合 61
仅 25MB 的轻量跨平台数据库客户端，支持百余种数据库，内置 AI、MCP Server、CLI 与桌面端。
Ghost-Downloader-3
综合 61
下载器的集大成者，满足你全部的下载需求。
gin （高性能 Go Web 框架）
综合 60
基于 Go 开发的高性能 HTTP Web 框架，提供类似 Martini 的 API，性能表现优异。
obsidian-skills
综合 60
面向 Obsidian 的 Agent 技能库，让 Agent 支持 Obsidian CLI 以及 Markdown、JSON Canvas 等开放格式。
million
综合 60
面向 React 的性能优化编译器。
BPB-Worker-Panel
综合 60
VLESS/Trojan/Warp Worker 订阅 GUI 面板，含私有 DoH、链式代理与 DNS 路由配置。