搜索结果：cti（129 个）

Binding.scala 是一个支持 JVM 和 Scala.js 的响应式数据绑定库。它主要解决前端与 GUI 开发中的视图与数据同步问题。核心功能是提供精确的响应式数据绑定与自动生命周期管理，无需虚拟 DOM 即可高效更新视图，同时支持静态类型检查与 HTML 字面量语法。

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

功能强大、交互丰富的浏览器端开源数据可视化与图表库。

doobie 是 Typelevel 旗下面向 Scala 的纯函数式 JDBC 访问层。它主要解决 Scala 开发者在进行数据库交互时的函数式编程集成问题，通过提供纯函数式的方式封装 JDBC 操作，让数据库访问更加安全、类型可控且契合函数式编程规范。

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

面向各类数据库的分布式 SQL 方案，提供分库分表、水平扩展与安全能力。

基于 Vue3 + Pinia 的仿抖音项目，呈现 Vue 在移动端的工程最佳实践。

面向生产级 ML 应用的设计、开发与部署实战学习指南。

面向充满好奇心的软件工程师的学习资源合集。

含完整 UI 设计图的 Flutter 练习项目，支持集成与可访问性测试。

为期 9 周的免费数据工程公开课，手把手带你搭建生产级别的数据管道（Data Pipelines）。

〔中文简介暂未生成〕 Neo4j Connector for Apache Spark, which provides bi-directional read/write access to Neo4j from Spark, using the Spark DataSource APIs

移动端 Git 客户端，用于在远程仓库与本地目录之间同步代码仓库。

gwern.net 是知名独立网站的开源建站基础设施。基于 Haskell 的 Hakyll 搭建，解决长文阅读和知识归档体验问题。核心功能包括网页外链本地快照归档、悬浮弹窗预览、双向反向链接、内容嵌入/折叠、暗黑及阅读模式，并提供旁注、首字下沉等极致排版特性。

Doctrine Database Abstraction Layer（数据库抽象层）。

Carp 是一门专为游戏、音频合成和可视化等实时高性能场景设计的静态类型 Lisp 语言。它没有垃圾回收器和虚拟机，通过所有权追踪实现自动且确定性的内存管理，避免隐藏的性能开销。同时支持静态类型推导、Lisp 宏、REPL 交互，并能直接与现有 C 代码集成。

akka-http 是基于 Akka 的流优先（Streaming-first）HTTP 工具包，非传统 Web 框架。它解决构建高响应、高弹性分布式服务时的 HTTP 通信问题，提供完整的服务端与客户端栈，支持 HTTP/2 及 WebSocket，并提供多层级抽象 API 供灵活调用。

〔中文简介暂未生成〕 :leaves: Non-blocking, Reactive MongoDB Driver for Scala

响应式缓存与数据绑定框架，让异步代码处理更轻松。

跨语言分布式事务框架，支持 Workflow、SAGA、TCC、XA 及二阶段消息等模式。