搜索结果：haskell（6 个）

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

**miso** 是一个基于 Haskell 的前端与移动端框架，受 Elm 和 React 启发，让开发者能用纯函数式语言编写 UI。 核心功能包括： 1. **MVU 架构与虚拟 DOM**：支持递归 diff 和高效更新。 2. **现代前端特性**：支持组件、生命周期、类型安全路由与事件委托。 3. **多目标编译**：通过 GHC 编译为 JS 或 WASM，支持 WASM 热重载。

Perspec 是一款基于 Haskell 开发的桌面工具，用于矫正文档、白板、收据或建筑立面等照片的透视畸变。它能自动识别图像边角，也支持手动拖动微调或缩放，并支持脚本化操作与批量处理，一键导出校正后的平面图像。

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

Onyx 是一款音乐节奏游戏工具包，主要用于简化《摇滚乐队》（Rock Band）、《吉他英雄》（Guitar Hero）及《Clone Hero》等游戏的自制谱面流程。其核心功能是处理歌曲谱面的构建、数据格式转换与各类变换，并提供歌曲预览等实用工具。

〔中文简介暂未生成〕 Haskell implemented with combinators