搜索结果：haskell（12 个）

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

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

cardano-node 是参与 Cardano 去中心化区块链的核心节点程序。它整合了账本、共识机制和网络通信等底层模块，主要用于运行并维护 Cardano 节点。开发者既能直接运行它来加入网络、同步区块，也可以将其相关包作为 Haskell 库集成到自己的项目中。

**wire-server** 是即时通讯应用 Wire 的开源后端服务项目，主要供开发者自建和部署专属的 Wire 服务端。 它涵盖了运行系统所需的核心微服务与库，包括反向代理、账户与团队管理、会话处理、文件资产存储、推送通知及单点登录（SSO）等功能。

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

distributed-process 是 Cloud Haskell 的核心库实现，旨在帮助 Haskell 开发者构建分布式系统。它提供了类似 Erlang 的进程并发、客户端/服务端模式、监督树和有限状态机等组件，并包含基于 TCP、QUIC、内存等底层网络传输库，用以简化分布式节点间的通信与协作。

用 Haskell 编写的 Dockerfile linter，支持内联 Bash 校验。

〔中文简介暂未生成〕 A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

`network` 是 Haskell 的底层网络接口库。它为开发者提供基础的套接字（Socket）编程能力与系统级网络通信接口，支持跨平台（包括 Windows 与类 Unix 系统）构建底层网络应用。

Gitit 是一个用 Haskell 编写的 Wiki 程序。它解决传统 Wiki 内容难以通过版本控制本地管理的问题，将页面与文件直接存储在 Git、Darcs 或 Mercurial 仓库中，支持通过 Web 界面或命令行直接修改。系统基于 Pandoc 处理标记语言，默认支持 Markdown，也兼容 Org-mode 等多种格式，并具备 TeX 数学公式渲染、代码高亮、插件扩展及 Atom 订阅源等功能。

首个无需任何用户标识符的即时通讯网络，支持 iOS、Android 和桌面端，注重隐私保护。

hs-tls 是纯 Haskell 实现的 TLS/SSL 协议库。它为 Haskell 开发者提供了安全通信支持，核心功能包括：实现 TLS 1.2/1.3 客户端与服务端、默认启用 AEAD 加密、内存会话与票据管理，以及支持加密客户端问候（ECH）配置。