搜索结果：v（239 个）

Magnolia 是一个用于 Scala 的类型类（Typeclass）自动派生工具。它解决了手动为复杂数据类型编写重复模板代码的痛点。核心功能是通过轻量级语法，为样例类（case classes）和枚举/密封特质（sealed traits）自动生成类型类实例，开箱即用支持递归数据结构且编译速度极快。

面向创作者的 Gradio WebUI，集成主流 TTS、零样本声音克隆与人声分离等功能。

Kyo 是专为 Scala 3 打造的应用开发工具包。它主要解决副作用管理复杂、容易遗漏错误和资源泄漏等痛点。核心采用代数效应与中缀类型 `A < S`，在编译期强制追踪并检查错误、资源及并发行为；同时提供异步并发、持久化工作流等模块，支持多平台编译。

基于 Rust 编写的极速、高性能且功能强大的代码编辑器。

用于 Web 端的高性能独立代码编辑器组件（原 Cloud9 编辑器）。

ScalaCheck 是一个专为 Scala 和 Java 程序设计的基于属性的自动化测试库。它受 QuickCheck 启发，能自动生成大量测试数据来验证代码属性是否始终成立，免去手写个别用例的繁琐。它零外部依赖，自带测试运行器，并深度集成了 SBT、ScalaTest 和 specs2。

CapCut 的开源替代方案。

Ox 是面向 Scala 3 和 JDK 21+ 的并发与流处理库。它基于 JVM 虚拟线程，让开发者无需复杂的异步语法，就能以直观的“直接风格”编写高并发代码。核心功能包括结构化并发（安全管理生命周期与异常）、带背压的流处理，以及熔断、重试、限流等容错韧性机制。

适用于 QX、Loon、Surge、Stash、Egern 和 Shadowrocket 的高级订阅管理工具。

支持 Java 8+ Jar 和 Android APK 的逆向工程套件，集反编译器、编辑器与调试器等功能于一身。

让编写 Java HTTP 客户端更简单的声明式库。

GeoMesa 是一个分布式大规模地理空间数据处理套件。它解决了海量时空数据的存储、查询与实时分析难题。核心功能包括在 HBase、Cassandra 等分布式数据库上构建时空索引，结合 Kafka 实现流式空间数据处理，并支持 Spark 分布式分析与 GeoServer（WFS/WMS）地图集成。

强大易用的开源建站工具，轻松覆盖个人博客、知识库、企业官网及商城等多种需求。

多平台开源应用，支持在移动端和桌面端阅读漫画、小说及观看动漫。

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

面向 Android 平台的开源播客管理器与播放器。

中华古诗词开源数据库，收录整理了唐宋两朝近1.4万位诗人的5.5万首唐诗、26万首宋诗和2万余首宋词。

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

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

一款轻量易用的手写笔记与矢量草图绘制工具。