搜索结果：haskell（6 个）

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

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

Monoscope 是基于 Haskell 开发的开源可观测性平台，解决遥测数据存储成本高、检索难的问题。它支持将日志、指标和链路追踪低成本存入兼容 S3 的存储桶；核心功能包括原生 OpenTelemetry 集成、实时流式查看、大模型自然语言查询，以及通过 AI Agent 自动检测异常并发送报告。

Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。

〔中文简介暂未生成〕 An experimental proof assistant based on a type theory for synthetic ∞-categories.

SimpleXMQ 是基于 Haskell 开发的单向（simplex）消息代理，解决了在公共网络中安全、隐私地管理消息队列与传输的问题。其核心功能包括提供 SMP 服务端、客户端库及代理，支持基于 TLS 指纹防劫持的通信、内存存储结合追加日志持久化，并通过组合多个单向队列实现全双工连接。