搜索结果：embed（60 个）

面向多模态 AI 的开源嵌入式检索库，对开发者友好，检索高效易维护。

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

Ogma 是面向飞行器和机器人系统的运行时监控器生成工具，解决安全监控难以集成到外部系统的难题。它基于 Copilot，可为 NASA cFS、ROS 和 F' 生成监控应用或组件，支持从 Graphviz、Mermaid 等图表生成监控器，并自动生成 C 结构体胶水代码。

支持实时响应式绑定的轻量级可嵌入 Postgres 数据库。

轻量级嵌入式 Postgres，支持实时响应式数据绑定。

先进的文本嵌入（Embeddings）、信息检索与重排序（Reranking）工具库。

基于 TurboQuant 的向量索引库，采用 Rust 开发并提供 Python 绑定。

安全易用的开源视频会议系统，可作为独立应用使用或嵌入到 Web 项目中。

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

一款简单易用的开源商业智能（BI）与嵌入式分析工具，让每个人都能轻松处理、探索和可视化数据。

轻量、高性能的应用内嵌 Web 渲染引擎替代方案。

开源声明式 GUI 工具包，支持为 Rust、C++、JavaScript 或 Python 应用构建原生界面。

兼具出色 LLM 性能的 RNN 架构，支持像 Transformer 一样并行训练，融合二者优势。

轻量简单且快速的本地 JSON 数据库。

专为路由器等嵌入式设备打造的开源漏洞利用与渗透测试框架。

面向开发者的 Python 主题建模与文本分析库。

littlefs 是专为微控制器和闪存（Flash）设计的轻量级高可靠文件系统。它主要解决嵌入式设备常遇到的意外断电损坏与存储磨损问题。核心特性包括：掉电保护（支持写时复制并可回滚）、动态磨损均衡与坏块处理，以及极低的固定内存与 Flash 占用。

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

面向下一代 AI 的高性能、大规模向量数据库与向量搜索引擎。

全功能免费嵌入式 UI 库，支持从微型 MCU 到具备 3D 能力的 MPU 设备。