谷歌位置历史转换器
google location history converter (2024-01-12, Haskell, 0KB, 下载0次)
用Haskell编写的玩具SMT解算器
Toy SMT solver written in Haskell (2023-12-30, Haskell, 0KB, 下载0次)
WIP Lisp->；Python转发器。
WIP Lisp -> Python transpiler. (2023-12-25, Haskell, 0KB, 下载0次)
Haskell中的Lox解释器（Tree Walk）
Lox interpreter in Haskell (Tree-Walk) (2023-11-24, Haskell, 0KB, 下载0次)
协议语言的LSP服务器
LSP server for the Pact language (2023-11-13, Haskell, 0KB, 下载0次)
一个玩具自动定理证明器，
A Toy Automated Theorem Prover, (2015-12-05, Haskell, 0KB, 下载0次)
pulmurice服务器的Heroku助手，
Heroku helpers for pulmurice server, (2023-08-10, Haskell, 0KB, 下载0次)
Lua字节码的Scheme编译器，
A Scheme compiler to Lua bytecode, (2017-04-21, Haskell, 0KB, 下载0次)
DukkhaLess服务的后端服务器。，
The backend server for the DukkhaLess service., (2019-10-26, Haskell, 0KB, 下载0次)
用Haskell写的黑洞光线跟踪器，
A black hole raytracer written in Haskell, (2021-11-09, Haskell, 0KB, 下载0次)
blaze html的Hexpat渲染器，
Hexpat renderer for blaze-html, (2011-05-11, Haskell, 0KB, 下载0次)
Haskell命令行文本流处理器，
Haskell command line text stream processor, (2019-07-11, Haskell, 0KB, 下载0次)
Streamly的浏览器（DOM）小工具，
Browser (DOM) Widgets for Streamly, (2020-02-26, Haskell, 0KB, 下载0次)
龚活度和通道安全检查器，
Gong liveness and channel safety checker, (2017-12-01, Haskell, 0KB, 下载0次)
MongoDB聚合查询的类型检查器，
A Typechecker for MongoDB Aggregation Queries, (2020-12-19, Haskell, 0KB, 下载0次)
Haskell中的命题逻辑定理证明器
Propositional logic theorem prover in Haskell (2017-11-20, Haskell, 15KB, 下载0次)
failt，MonadFail实例的Monadtransformer
failt,Monad transformer for MonadFail instance (2019-04-25, Haskell, 3KB, 下载0次)
加拿大-t，加拿大monadtransformer
canada-t, the canada monad transformer (2018-08-20, Haskell, 15933KB, 下载0次)
monadlib，Haskell的monad转换器库
monadlib,A monad transformer library for Haskell (2022-03-07, Haskell, 25KB, 下载0次)
HaskellGBM，一个围绕LightGBM的Haskell包装器，
A Haskell wrapper around LightGBM
, (2020-03-10, Haskell, 2103KB, 下载0次)