搜索结果：http（276 个）

异步事件驱动的 PHP Socket 框架，支持 HTTP、WebSocket 等多种协议。

通过纯文本定义、运行与自动化测试 HTTP 请求的工具。

一行代码即可接入的 Node.js HTTP 代理中间件，兼容 Connect、Express、Next.js 等。

通过添加 URL 前缀，将任意网页转换为适合 LLM 读取的输入格式。

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

专为 Node.js 打造的 HTTP 请求库，功能强大且 API 设计人性化。

功能完备、高可配置的多协议传输服务器，支持 SFTP/WebDAV 及 S3 等多种存储后端。

支持多协议、多用户的网络面板，兼容 Vmess、Vless、Trojan 等多种协议。

面向 Windows 和 macOS 的本地 AI 会议记录工具。基于本地 Whisper/Parakeet 转录并识别人声，Granola 开源替代品。

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

适用于 UNIX 环境的 Python WSGI HTTP 服务器。

支持多种内核、弹幕、外挂字幕、滤镜、水印及贴片广告的视频播放器。

面向 AI Agent 的高能动性提示词 Skill，模拟职场 PUA 与 PIP 风格激发潜力。

简单、零配置的命令行 HTTP 服务器。

专为开发者打造的开源屏幕共享工具服务端。

经典的开源 Java Servlet 容器与 Web 服务器实现。

基于 Java、Spring Boot、Netty 等开发的全响应式企业级 IoT 物联网平台，支持多协议接入与设备管理。

Hydra 是基于 Haskell 开发的 Cardano 二层扩容方案，旨在降低交易延迟与成本并提升吞吐量。它实现了 Hydra Head 协议，核心提供兼容主网的 `hydra-node` 节点、直连 Cardano 节点能力、WebSocket/HTTP API 以及终端交互界面 `hydra-tui`。

面向 Python 的下一代 HTTP 客户端。🦋

用于在 JVM 上构建响应式（Reactive）应用程序的轻量级工具包。