皮尔斯类型和编程语言中的无类型算术表达式
Untyped arithmetic expressions from Pierce s Types and Programming Languages (2014-06-15, Haskell, 0KB, 下载0次)
使用哈斯克尔代数数据类型实现自然数、整数和有理数系统的简单方法
A SIMPLE IMPLEMENTATION OF NATURAL, INTEGER AND RATIONAL NUMBER SYSTEMS USING HASKELL ALGEBRAIC DATATYPES (2024-02-13, Haskell, 0KB, 下载0次)
一个Haskell程序，以刘易斯·卡罗尔的Doublets的精神玩文字游戏！，
A Haskell program to play a wordgame in the spirit of Lewis Carroll s Doublets!, (2015-10-15, Haskell, 0KB, 下载0次)
哈斯克霍尔定理证明器的核心逻辑系统。有关详细信息，请参阅haskhol.org。，
The core logical system of the HaskHOL theorem prover. See haskhol.org for more details., (2016-09-27, Haskell, 0KB, 下载0次)
我对《真实世界哈斯克尔》一书中的练习的解决方案，
My solutions to the exercises contained in the book "Real World Haskell", (2019-03-26, Haskell, 0KB, 下载0次)
我在《哈斯克尔从第一原理编程》一书中的练习笔记和解决方案。，
My notes and solutions to exercises for the book "Haskell Programming from first principles"., (2021-10-25, Haskell, 0KB, 下载0次)
描述绘图的语言。活动矩阵。缓慢而复杂。哈斯克尔DSL。
A language to describe drawings. An active matrix. Slow and complex. Haskell DSL. (2022-12-13, Haskell, 0KB, 下载0次)
克里斯·冈崎（Chris Okasaki）的《纯功能数据结构》（Purely Functional Data Structures）一书的笔记和解决方案（Haskell）。，
My notes and solutions for "Purely Functional Data Structures" book by Chris Okasaki (in Haskell)., (2020-07-16, Haskell, 0KB, 下载0次)
作品来源于Doets和van Eijck的《逻辑、数学和编程的哈斯克尔之路》中的练习
Works from Exercises in Doets and van Eijck s The Haskell Road to Logic, Maths and Programming (2011-01-14, Haskell, 0KB, 下载0次)
“逻辑、数学和编程的哈斯克尔之路”演练
Walkthrough of "The Haskell Road To Logic, Maths and Programming" (2012-01-28, Haskell, 0KB, 下载0次)
二维第一人称探索游戏。2015年冬季建于哈克达特茅斯。
First-person exploration game in two dimensions. Built at HackDartmouth Winter 2015. (2015-04-13, Haskell, 15KB, 下载0次)
飞羊大战-一款在坎普斯用Haskell、SDL和Netwire构建的游戏
Flying Sheep Battles - a game built at campjs with Haskell, SDL and Netwire (2013-10-18, Haskell, 55KB, 下载0次)
你听说过我们的主和救世主哈斯克尔吗
Have you heard of our lord and savior Haskell (2017-07-11, Haskell, 38KB, 下载0次)
Plain Changes 2是特斯拉线圈和机器人低音的音乐作品
Plain Changes 2 is a music composition for tesla coil and robotic bass (2013-10-25, Haskell, 40KB, 下载0次)
通道是并联式采煤机发电机。用户使用Passage...指定分层贝叶斯模型和数据...
Passage is a PArallel SAmpler GEnerator. The user specifies a hierarchical Bayesian model and data using the Passage EDSL, and Passage generates code to sample the posterior distribution in parallel. (2020-03-08, Haskell, 196KB, 下载0次)
试图解决一些项目欧拉难题，试图提高哈斯克尔的理解。
Trying to solve some project Euler puzzles in an attempt to improve Haskell understanding. (2014-05-30, Haskell, 34KB, 下载0次)
瑟克尔；哈斯克尔的Chord DHT。包括节点故障、复制和电池！
Sirkel; a Chord DHT in haskell. Node failure, replication and batteries included! (2013-10-09, Haskell, 19KB, 下载0次)
哈斯克尔的一个经典命题定理证明者，使用王的算法。
A classical propositional theorem prover in Haskell, using Wang s Algorithm. (2019-06-12, Haskell, 12KB, 下载0次)
Transformers z，哈斯克尔的Monad Transformers 。没有导入任何内容，只有代码。
transformerz,Monad transformers in Haskell from the ground up. Nothing imported, just code. (2023-03-09, Haskell, 359KB, 下载0次)