ask

一个基于流的运行时验证框架，用于生成硬实时C代码。

HStreamDB 是一款面向物联网及其他领域的开源云原生流数据库，助您为实时应用现代化数据栈。

ML-capsule 是一个面向没有导师或指导、希望学习机器学习的数据科学初学者和经验爱好者的项目。通过我们的仓库，他们可以学习机器学习、深度学习以及许多相关技术，并结合不同的真实项目，为面试做好准备。

App Group 让您能够整理、自定义并启动您的应用程序。

这款macOS窗口管理器让每个应用拥有独立的Alt-Tab切换功能。

具备类桌面多窗口及远程访问支持的 Android 多任务管理器

Hackage-Server：一个Haskell软件包仓库

从Cabal文件生成Nix构建指令

一款非官方合规的浏览器版《诡镇奇谈：卡牌游戏》，非Fantasy Flight Games制作、认可、支持或关联。

一款在情人节打动爱人的简单应用！

用于生成格式规范的JSON文档的Terraform模块，该文档作为容器定义传递给aws_ecs_task_definition Terraform资源

Hydra Head协议实现

SAW — SAFe智能体工作流AI Agent工具集，专为多智能体团队工作流构建，基于SAFe方法论（规模化敏捷框架）并适配AI智能体团队，适用于任何拥有可重复流程的团队：软件、市场、研究、法务、运营。

支持一系列Ouroboros共识协议的网络协议规范及协议组件实现；Cardano节点的扩散层

用于转换和制作《摇滚乐队》《吉他英雄》《Clone Hero》及其他类似节奏游戏歌曲的工具包

Chainweb：面向海量吞吐量的工作量证明并行链架构

生成一切（专注于研究型软件）

实现通过ALB暴露Web服务的ECS服务的Terraform模块

用于在神经网络上实施逻辑规范的工具包

Concordium主节点实现

一个基于LSM树的磁盘表Haskell库

我的LuaSnip Haskell代码片段集合。

暂无项目描述