搜索结果：c（333 个）

Taffybar 是基于 GTK 3 和 Haskell 开发的桌面状态栏，主要为 XMonad 等平铺式窗口管理器提供美观的信息展示。它本质上是一个库，用户能用 Haskell 配置和编写自定义组件，提供多种内置小部件，支持 CSS 样式美化，并已初步支持 Wayland。

Udash 是一个基于 Scala.js 的全栈 Web 开发框架。它解决了前后端类型不统一及维护繁琐的问题。核心功能包括：响应式数据绑定、类型安全的 HTML/CSS 生成、前后端共享代码、基于 WebSocket 的双向 RPC 与 REST 通信，并提供前端路由和国际化支持。

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

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

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

精选收集基于 Shizuku 服务的各类优质 Android 应用列表。

intellij-scala 是 JetBrains 为 IntelliJ IDEA 打造的 Scala 语言官方插件。它让开发者能在 IDEA 中高效编写 Scala 代码，核心提供代码高亮、智能补全、重构与检查，支持类型与隐式信息查看，并无缝集成 SBT 等构建工具、测试框架、调试器及 Worksheet。

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

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

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

CapCut 的开源替代方案。

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

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

DataFusion Comet 是 Apache Spark 的高性能加速器。它无需修改现有代码，通过端到端 Apache Arrow 列式格式及基于 Rust 的 DataFusion 原生执行，避免 Spark 行式处理开销。核心加速算子执行、表达式计算、Parquet 扫描与 Shuffle，显著提升查询性能并降低计算成本。

scala-scraper 是一个用于抓取和解析 HTML 网页的 Scala 库。它支持通过 Jsoup 等浏览器后端加载网络请求或本地 HTML 文件，并提供了强大的 DSL 语法（如 `>>` 提取操作符与 CSS 查询选择器），帮助开发者快速、优雅地提取并验证页面内容。

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

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

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

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

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