搜索结果：cti（684 个）

跨设备、高性能的表单解决方案，支持通用表单与动态表单，兼容 React、React Native 和 Vue。

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

Gephi，一款开源的网络图谱与复杂网络可视化分析平台。

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

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

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

Decidim 是一个基于 Ruby on Rails 开发的开源参与式民主框架，最初用于巴塞罗那市政府。它主要解决城市与各类组织在公众参与、开放治理中的线上协作难题；核心提供应用生成器和多个可复用的 Gem 组件，便于快速搭建支持公民建言、提案与线上线下互动的民主参与平台。

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

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

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

提交代码前需签署 Adobe 贡献者许可协议（CLA）的开源项目仓库。

基于 Rust 开发的生产级交易引擎，采用确定性事件驱动架构。

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。

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

易用、高性能的开源分布式事务解决方案。

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

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

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