haskell

用于高性能数组计算的嵌入式语言

在Haskell中实现高性能、流式与并发函数式编程

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

可脚本化的桌面应用，用于校正图像的透视

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

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

从Cabal文件生成Nix构建指令

Hydra Head协议实现

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

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

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

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

我们已经实现了 LeetCode 测试的民主化

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

Concordium主节点实现

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

Tricorder 在破解 Haskell 时提供简单、快速、集中的反馈（无论有或没有 LLM 代理）。

我的LuaSnip Haskell代码片段集合。