项目预览
项目数据
项目介绍
Star 增长趋势
本站每日记录该项目 GitHub 星标变化，观测越久曲线越完整
数据来源：GitHub API 逐日快照 · 收录于 2026-11-06 · 当前星标 ★ 839
核心亮点
- 流式 DSL 声明式描述时序性质，监控逻辑与业务代码解耦
- 生成的 C 代码无动态内存分配，执行时间可静态分析，契合硬实时约束
- 支持定期采样与事件触发两类监控，覆盖多种嵌入式监控需求
不足之处
- 需要掌握 Haskell 才能编写监控规格，嵌入式团队上手门槛较高
- 生态与社区规模较小，中文资料和集成示例有限
- 与主流嵌入式工具链的自动化集成仍需自行搭建
适用场景
- 航空、汽车等安全关键系统的运行时属性监控
- 工业控制设备中部署轻量级运行时断言与告警
- 嵌入式软件需求工程中把高层需求自动落地为可执行监控器
替代项目
RTLola、TeSSLa、StreamLAB
同类项目推荐
awesome-vibe-coding
开源
一份清单，带你玩转AI自然语言编程
The complete guide to vibe coding — build software with AI through natural language···
Claude-code
开源
在终端里用大白话指挥 AI 改代码，省去手动翻文件
Claude Code is an agentic coding tool that lives in your terminal, understands your ···
agent-skills
开源
让 AI 助手秒变 WordPress 开发专家，少踩坑
Expert-level WordPress knowledge for AI coding assistants - blocks, themes, plugins,···
tmux-assistant-resurrect
开源
tmux 重启后，AI 编程会话自动接着聊
Persist and restore AI coding assistant sessions (Claude Code, OpenCode, Codex CLI, ···
MonkeyCode
开源
团队一起用 AI 写码，审查协作一个地儿搞定。
企业级 AI 办公工作台
cmux
开源
垂直标签+通知，让多个AI编程代理并行不打架
Open source Ghostty-based macOS terminal with vertical tabs and notifications for AI···
skills
开源
让 AI 编码助手真正看懂 .NET 和 C# 项目
Repository for skills to assist AI coding agents with .NET and C#
scubiee
开源
把代码库变成本地可搜索上下文，省 token 又护隐私
Save up to 30% of your AI coding tokens. Scubiee turns any codebase into searchable ···
awesome-claude-code
开源
一份清单收齐 Claude Code 周边工具，省去到处翻找
A curated list of awesome tools, IDE integrations, frameworks, and other resources f···