搜索结果：cti（702 个）

基于 Chrome 扩展的 MCP 服务端，将浏览器功能接入 Claude 等 AI 助手以实现复杂网页自动化。

专注于 TypeScript 生态的函数式编程库。

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

RxJava 是 JVM 上的响应式编程库。它通过扩展观察者模式，利用可观察序列来编写异步和基于事件的程序。核心功能是提供丰富的操作符以声明式组合数据流，帮开发者抽象并简化底层线程管理、并发安全与同步操作。4.x 版本进一步支持了虚拟线程与 Flow API。

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

Wikipedia（维基百科）官方 iOS 客户端。

为 JavaScript 提供静态类型检查功能，助力提升代码质量与开发效率。

macOS 平滑鼠标滚动效果与独立设置滚动方向的小工具，让滚轮体验如触控板般顺滑。

AI 英语听说训练 App，通过精听、跟读、复述与间隔复习等方式提升听说能力。

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

Apple 官方推出的 Swift 常用数据结构扩展库。

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

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

提供 Model、View、Collection 与事件机制的轻量级 JavaScript 框架。

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

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

经典算法与数据结构实现的开源代码合集。

专为上下文工程、多智能体架构及生产系统打造的 Agent Skills 技能精选合集。

灵感源自 SwiftUI Environment 的 Swift 依赖管理库。

一个社区驱动的常用 Bash 框架。