这是用Haskell编写的用于解决SAT的经典DPLL算法的简单实现它使用Happy解析器来解析公式。 要运行它只需 cabal install alexcabal install happycabal configurecabal run < cnf
这是用Haskell编写的用于解决SAT的经典DPLL算法的简单实现它使用Happy解析器来解析公式。 要运行它只需 cabal install alexcabal install happycabal configurecabal run < cnf
Haskell函数式编程入门
protobuf-simple：Haskell的协议缓冲区库
haskell cookbook, 一本很不错的haskell书籍。 英文，PDF版，已经压缩zip
哈肯布什该项目是游戏的 Haskell 实现。特征二人模式。 人工智能模式。 GUI 界面（使用 OpenGL）。
标签： Haskell
欢迎来到令人兴奋的 Haskell 世界！ 我很高兴你选择我做你这次旅行的导游。 我应该马上承认我在写这篇文章时正在学习 Haskell，所以如果这还没有吓到你，我希望你会发现这是一个有用的资源。 我发现与 Haskell 一起...
Haskell平台概述“ Haskell平台”是GHC编译器和核心库的组合，以及涵盖一系列常见编程任务的其他工具和库。 平台的维护和发布是一个一致，稳定的基础。 它的目的是成为进入工作的Haskell环境的快速方法，并为生产...
skip-list：Haskell中的纯跳过列表
postgresql-pure：使用纯Haskell实现的PostgreSQL客户端库
haskell-mqtt：MQTT协议实现（客户端和服务器）
英文版原名<<Yet Another Haskell Tutorial>> Hal Daum′e III 著，乔海燕 译。 一本Haskell不错的入门教程。
haskell-base32string 快速安全地表示以58为基数的字符串
sql_trace_parser
新一代编程语言Python、MATLAB和Haskell
军团：用haskell编写的简单区块链服务器
表演型 在 Haskell 中将类型转换为字符串值
复活：Haskell库，用于基于SVG图形构建声明性动画
哈斯克尔Haskell 类 2014加入 The Minds GitHub 将包含您的 GitHub 用户名的电子邮件发送到以获得对此存储库的读/写访问权限。下载资源推荐文本：为 语法指南： Hoogle，Google for Haskell： Hackage，Haskell 库：...
Programming in Haskell 第二版 pdf
很好的Haskell入门书籍，学习后可以对函数式编程有一个清晰的了解
Haskell 实践 请保护工作隐私！
hadolint：Dockerfile linter，验证内联bash，用Haskell编写
该目录包含 Haskell Metasploit 绑定和库，以及描述该库目的和使用的。 简而言之， 是一个广泛部署的开源渗透测试平台。 该框架的大部分功能是通过标准 HTTP 协议由远程过程调用 (RPC) 接口提供的。 这被称为 。 ...
融合效果：Haskell的快速，灵活，融合效果系统
Haskell培训：101和102。 该存储库包含Google的Haskell培训中使用的幻灯片和练习的源代码。 Haskell并不是内部“受祝福”的语言之一，但是一支敬业的志愿者团队正在利用20％的时间来尝试使Google的Haskell成为可能...
介绍Haskell语言的语法规则以及Haskel语言的一些应用问题
解决方案 以.comperror结尾的文件是包含有效解决方案的文件，但Codeforces无法对其进行评估。 通常是因为GHC编译器太旧或没有安装软件包。
Haskell-Data-Analysis-Cookbook, Haskell数据分析 cookbook的附带源代码 Haskell-Data-Analysis-Cookbook这是 Haskell数据分析 cookbook的附带源代码。最新的源代码可以在GitHub上获得： ...
irc-core, 在 Freenode #haskell IRC中，Haskell IRC库和控制台客户机加入了我们 GLIRC - 高级控制台IRC客户端glirc 核心 连接 Wiki文档 建筑glirc使用最新版本的软件包，请确保软件包的数据库是只读的： $ cabal ...
Haskell挑战 此仓库包含一些要解决的挑战。 挑战是Haskell特有的（我想甚至是特有的），而且大多数挑战可能不会翻译成其他编程语言。 每个挑战都是一个独立的项目（对支持将不胜感激）。 存在此回购券是为了给想...