搜索结果：embedded（6 个）

面向 AI Agent 的单文件无服务器记忆层，用于替代复杂 RAG，提供即时检索与长期记忆。

Copilot 是一个基于 Haskell 的硬实时系统运行时验证框架。它解决嵌入式和硬实时系统在运行时的安全监测与正确性验证难题。核心功能支持用流式语言编写高级规范，并能将其生成时间与内存恒定的 C99 监控代码，同时提供测试解释器和定理证明支持。

ElasticMQ 是一个兼容 Amazon SQS 接口的内存消息队列系统，基于 Scala 构建。它主要解决本地开发与测试中依赖真实 AWS SQS 的成本与繁琐问题。核心功能包括支持 SQS 语义的轮询与延时消息、全异步无阻塞运行，支持独立部署、Docker 或嵌入式运行，并提供可选的持久化和 Web 管理界面。

开源跨平台框架，基于单套 C#/XAML 代码构建移动端、Web、桌面及嵌入式原生应用。

〔中文简介暂未生成〕 A library that provides an in-memory Kafka instance to run your tests against.

基于新一代 Kaldi 与 ONNX Runtime 的离线语音工具包，支持语音识别、TTS、声纹与降噪等多端部署。