搜索结果：embedded（27 个）

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

面向 AI、BI 和嵌入式分析的开源语义层框架。

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

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

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

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

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

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

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

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

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

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

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

基于 C# 和 XAML 的跨平台 UI 框架，支持桌面、嵌入式、移动端及 WebAssembly 开发。

整理了各类计算机科学（CS）视频讲座的精品课程列表。

基于 Rust 的 SQL 数据库，兼容 SQLite，实验性支持 Postgres，号称数据库界的 LLVM。

NASA 开源的飞行软件与嵌入式系统开发框架。

面向嵌入式系统的开源跨平台 USB 协议栈。

Chromium 嵌入式框架（CEF）的 .NET（WPF 与 WinForms）绑定库。

内置 TCP/IP 网络协议栈、MQTT 和 WebSocket 的嵌入式 Web 服务器。