搜索结果：embedded（4 个）
按分类缩小范围
ogma
综合 63
Ogma 是面向飞行器和机器人系统的运行时监控器生成工具，解决安全监控难以集成到外部系统的难题。它基于 Copilot，可为 NASA cFS、ROS 和 F' 生成监控应用或组件，支持从 Graphviz、Mermaid 等图表生成监控器，并自动生成 C 结构体胶水代码。
整理了各类计算机科学（CS）视频讲座的精品课程列表。
nerves_livebook
综合 48
〔中文简介暂未生成〕 Develop on embedded devices with Livebook and Nerves
sherpa-onnx
综合 41
基于新一代 Kaldi 与 ONNX Runtime 的离线语音工具包，支持语音识别、TTS、声纹与降噪等多端部署。