搜索结果：real-time（9 个）
按分类缩小范围
flink-cdc
综合 67
基于 Apache Flink 的流式数据集成工具。
redisson
综合 66
面向 Valkey 和 Redis 的 Java 客户端与实时数据平台，支持响应式 API 并扩展了 60 多种对象与服务。
copilot
综合 64
Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。
APIJSON
综合 61
实时零代码、强安全 ORM 库，后端接口与文档免开发，前端可灵活定制返回 JSON。
framework
综合 59
〔中文简介暂未生成〕 Lift Framework
gearpump
综合 57
〔中文简介暂未生成〕 Lightweight real-time big data streaming engine over Apache Pekko
Carp
综合 56
Carp 是一门专为游戏、音频合成和可视化等实时高性能场景设计的静态类型 Lisp 语言。它没有垃圾回收器和虚拟机，通过所有权追踪实现自动且确定性的内存管理，避免隐藏的性能开销。同时支持静态类型推导、Lisp 宏、REPL 交互，并能直接与现有 C 代码集成。
pathway
综合 51
用于流处理、实时分析、LLM Pipeline 和 RAG 的 Python ETL 框架。
自动在补丁发布约 10 分钟后，实时构建非 Root 版 Morphe、ReVanced 及扩展版本。