搜索结果：v（1227 个）

haskell-language-server 是官方推出的 Haskell 语言服务器实现。它基于语言服务器协议（LSP），为现代编辑器和 IDE 提供官方级的 Haskell 智能开发支持，能无缝配合 Cabal、Stack 及多种 GHC 版本，大幅提升 Haskell 的编码与工具集成体验。

支持 Open WebUI、OpenAI 兼容接口、Ollama 及 Hermes Agent 的原生双端客户端。

Otoroshi 是一个用 Scala 开发的轻量级 API 管理与现代 HTTP 反向代理工具。它主要解决微服务架构下的流量调度问题，无需依赖服务发现（service locator）即可处理微服务间及对外的所有调用，并支持在运行时动态修改配置。

GitHubDaily 是一个专注于挖掘与分享优质开源项目的资源聚合仓库。它主要解决开发者寻找高效工具难、技术视野受限的问题，核心功能是按年份和场景（如 AI 工具、开发利器、学习教程等）系统分类整理并推荐 GitHub 上前沿、实用的开源项目与技术资讯。

极速 Neovim 框架，提供可靠的默认配置与美观 UI，提升 Neovim 使用体验。

面向 UI 开发的免费高质量 SVG 图标集，采用 MIT 协议。

统一接入多个 Generative AI 服务商的简洁接口。

Cats Effect 是 Scala 的高性能纯函数式异步运行时框架。它主要解决并发、异步任务调度及副作用管理难题；核心提供 `IO` monad 来安全捕获和控制同步或异步操作，并定义类型类（Typeclasses）规范，支持资源安全释放与并发协作。

akka-http 是基于 Akka 的流优先（Streaming-first）HTTP 工具包，非传统 Web 框架。它解决构建高响应、高弹性分布式服务时的 HTTP 通信问题，提供完整的服务端与客户端栈，支持 HTTP/2 及 WebSocket，并提供多层级抽象 API 供灵活调用。

Alpakka 是面向 Java 和 Scala 的响应式企业集成库。它基于 Akka Streams 和 Reactive Streams 构建，专为解决微服务、云环境与异构旧系统之间的数据集成问题。其核心功能是提供原生支持背压（Backpressure）的流式集成管道与 DSL，防止数据交互时系统过载。

多功能清理工具，可查找重复项、空文件夹、相似图片等。

Scalatra 是一款受 Sinatra 启发的极简、高性能 Scala 异步 Web 框架。它主要解决快速构建轻量级 Web 应用与接口的问题，核心提供简单直观的路由定义语法，支持 javax 与 jakarta 规范，并可配合 Jetty、Swagger 及 JSON 扩展使用。

Dart 多包管理工具，支持自动化版本控制与发布，适配 IntelliJ 和 VS Code。

〔中文简介暂未生成〕 :leaves: Non-blocking, Reactive MongoDB Driver for Scala

基于 Ghostty 的开源 macOS 终端，带垂直标签页和 AI agent 通知，兼顾多任务与可编程性。

将 Node.js 应用程序打包为单个独立可执行文件的工具。

跨平台的 Git 可视化交互工具，提供更简单直观的 Git 使用体验。

Lamdu 是一个用 Haskell 开发的下一代实时编程环境（结构化/投影编辑器）。它解决了传统文本代码编写易出错、反馈慢的问题，提供智能类型补全、自动括号处理，并在编写时实时显示每个子表达式的求值结果，且无需手动保存，极大提升了编程交互体验。

Codex 和 Claude 手机客户端，通过 WebSocket 桥接远程控制编码 Agent。

nscala-time 是一个基于 scala-time 分支开发的 Scala 语言时间库。它主要用于封装 Java 的 Joda Time 库，通过提供更加符合 Scala 风格的 API、丰富的时间算术操作及隐式转换，帮助 Scala 开发者更便捷地处理日期与时间。