haskell

Haskell 的液体类型

Haskell library for building declarative animations based on SVG graphics

👩‍🏫 👨‍🏫 通过4个拉取请求学习Haskell基础知识

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

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

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

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

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

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

从Cabal文件生成Nix构建指令

Hydra Head协议实现

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

基于合成 ∞ 范畴类型论的实验证明助手。

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

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

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

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

Haskell 生态系统的现代包索引

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

Concordium主节点实现

DNS 完整解析器和存根命令

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

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

我的LuaSnip Haskell代码片段集合。