用于约束编程的Haskell库，基于Sheard的泛型统一论文中使用的两级类型，
Haskell library for constraint programming, based on two-level types as used in Sheard s Generic Unification paper, (2013-02-13, Haskell, 0KB, 下载0次)
独立Haskell重新实现Aruoba Villaverde的论文“经济学中编程语言的比较”，
Independent Haskell reimplementation of Aruoba-Villaverde s paper "A Comparison of Programming Languages in Economics", (2018-02-18, Haskell, 0KB, 下载0次)
函数机微积分类型。一种基于FMC论文的编程语言，为学位论文项目从头开始开发。，
Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project., (2022-05-02, Haskell, 0KB, 下载0次)
定量信息流感知编程语言的原型，基于论文：“Monad的定量信息流...，
A prototype for a Quantitative Information Flow aware programming language, based on the paper: "Quantitative Information Flow with Monads in Haskell" by Jeremy Gibbons, Annabelle McIver, Carroll Morgan, and Tom Schrijvers. (2019-09-10, Haskell, 0KB, 下载0次)
“一元函数 React编程”论文附带的代码，
Code accompanying the paper "Monadic Functional Reactive Programming", (2013-09-27, Haskell, 0KB, 下载0次)