搜索结果：embedded（4 个）
按分类缩小范围
ogma
综合 63
Ogma 是面向飞行器和机器人系统的运行时监控器生成工具，解决安全监控难以集成到外部系统的难题。它基于 Copilot，可为 NASA cFS、ROS 和 F' 生成监控应用或组件，支持从 Graphviz、Mermaid 等图表生成监控器，并自动生成 C 结构体胶水代码。
elasticmq
综合 61
ElasticMQ 是一个兼容 Amazon SQS 接口的内存消息队列系统，基于 Scala 构建。它主要解决本地开发与测试中依赖真实 AWS SQS 的成本与繁琐问题。核心功能包括支持 SQS 语义的轮询与延时消息、全异步无阻塞运行，支持独立部署、Docker 或嵌入式运行，并提供可选的持久化和 Web 管理界面。
mongoose
综合 49
内置 TCP/IP 网络协议栈、MQTT 和 WebSocket 的嵌入式 Web 服务器。
WasmEdge
综合 49
面向云原生、边缘计算和去中心化应用的轻量、高性能、可扩展 WebAssembly 运行时。