搜索结果：cti（260 个）

简单且完善的 React DOM 测试工具库，倡导良好的测试实践。

〔中文简介暂未生成〕 ZIO — A type-safe, composable library for async and concurrent programming in Scala

scalachess 是知名国际象棋网站 lichess.org 背后的核心国际象棋逻辑库。基于 Scala 3 开发，它利用位棋盘（bitboard）数据结构，以纯函数式、完全不可变且无副作用的方式处理国际象棋规则与走法验证，为开发者提供高性能、可靠的棋局核心逻辑支持。

Izumi 是提升 Scala 开发效率的独立工具与框架生态。它主要解决纯函数式 Scala（支持 Cats Effect、ZIO 等）在工程化中的繁琐痛点，核心提供编译期安全的依赖注入（distage）、跨测试共享资源的测试套件、基于字符串插值的结构化日志（LogStage）以及 Docker 测试集成等实用功能。

Mac 本地 AI 工具，基于 Apple Intelligence，提供 CLI、兼容 OpenAI 的服务及交互式聊天，无需 API Key 和联网。

〔中文简介暂未生成〕 Kickstarter for Android. Bring new ideas to life, anywhere.

功能强大且轻量的控制反转（IoC）容器，已迁移至 Monorepo。

为开发者打造标准化开发工作流，规范大规模软件开发流程，提升代码质量与一致性。

Airframe 是一套专为 Scala 应用打造的基础组件库，解决日常开发中缺少轻量、统一工具链的问题。它提供了依赖注入与生命周期管理（DI）、JSON/MessagePack 序列化、日志工具、支持前后端同构的 RPC 框架，以及函数式测试框架 AirSpec 等核心功能。

〔中文简介暂未生成〕 sbt, the interactive build tool

简化 Serverless 函数开发与部署流程的轻量级开源平台。

Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言，属于 ML 语言家族。它主要解决高性能并行计算的编写难题，核心功能是将函数式代码编译为可在 CPU 或 GPU（支持 CUDA、OpenCL）上运行的高效并行程序，适用于实用级高性能计算场景。

面向 React 的性能优化编译器。

Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。

OBP-API 是用 Scala 编写的开源银行 RESTful API 平台。它抹平了各核心银行系统的差异，支持开放银行、PSD2 和 XS2A 标准。核心提供账户、交易、支付及内部管理接口，支持 OAuth 2.0 认证、多版本共存以及交易数据脱敏、标签富化与可配置共享。

Apache Pekko 是基于 Actor 模型的开源框架（源自 Akka 2.6.x 分支），旨在解决 Java/Scala 开发者构建高并发、分布式及弹性消息驱动应用的复杂难题。其核心通过高级并发抽象，提供持久化、流处理（Streams）和 HTTP 等配套库，支持构建高可用的分布式系统。

sttp 是一款专为 Scala 设计的 HTTP 客户端库。它解决了 Scala 生态中网络请求调用繁琐、技术栈割裂的问题。核心功能包括：提供统一易用的 API，支持同步、Future 及各类函数式 Effect（如 cats-effect、ZIO）；兼容 OkHttp 等多种底层后端；支持 URI 插值、JSON 自动编解码、流式传输、文件收发与 WebSocket。

scalajs-react 将 React 封装进 Scala.js，解决了用 Scala 开发前端时类型安全和语法契合度不足的问题。它支持 Hooks、Context 等 React 特性，可无缝集成 Cats 等纯函数式生态，并内置了专属的路由、测试与性能优化工具。

Searchkick 是专为 Rails（支持 Active Record 和 Mongoid）打造的智能搜索 Gem，基于 Elasticsearch 或 OpenSearch。它解决了复杂搜索接入成本高的问题，支持像写 SQL 一样进行查询，并开箱提供拼写纠错、词干提取、同义词匹配、自动补全、零停机重建索引及搜索个性化等功能。

非破坏性 2D 图形编辑器（概念验证项目）。