搜索结果：cti（263 个）

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

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

〔中文简介暂未生成〕 Agda is a dependently typed programming language / interactive theorem prover.

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 图形编辑器（概念验证项目）。

开源电商平台，提供 REST API、TypeScript SDK 及 Next.js 现成前端，支持自托管。

Caliban 是一个面向 Scala 的纯函数式 GraphQL 库，用于构建 GraphQL 服务端与客户端。它能帮开发者免去手动定义 Schema 的繁琐样板代码，利用 Scala 标准类型在编译期完成 Schema 定义与校验，并结合运行时解析器，提供兼顾纯函数式和高性能的 GraphQL 解决方案。

现代 Go 语言交互式命令行工具开发库。

生产级 Flutter 视频播放器，支持全平台、HLS/DASH、DRM、缓存和画中画等。

Python 学习操练场与速查手册，按主题分类并附带代码与解析。

适用于 Linux/macOS/UNIX 的无 Agent 安全审计与系统加固工具，支持合规检测。

致力于让每个人都能高效进行视频创作的开源视频生成项目（Sora 复现）。

Obelisk 是一个开箱即用的 Haskell 全栈开发框架，基于 Reflex FRP 打造。它解决全栈技术选型与前后端类型割裂的问题，支持用单一 Haskell 代码库同时构建前后端，并通过强类型系统即时捕获接口变更错误。前端支持 WASM/GHCJS，配合 CapacitorJS 可打包为移动应用，后端支持部署到 NixOS 或 OCI 容器。

开源平台，用于创建安全隔离的生产环境沙盒，支持 API、集成及 E2E 测试。

让你无需再用 print 进行调试的 Python 实用调试工具。

IHP 是一个基于 Haskell 和 Nix 的开箱即用型全栈 Web 框架，旨在提供兼顾编译期类型安全与极高开发效率的体验。它内置路由、HSX 模板、可视化数据库设计器、代码生成器、热重载及身份验证，并通过 Nix 统一部署环境，让开发者更稳、更快地构建 Web 应用。