Cardano dApps的服务器和客户端架构
Server and client architecture for Cardano dApps (2024-02-29, Haskell, 0KB, 下载0次)
2005年代的Runescape服务器引擎
A 2005-era Runescape server engine (2024-02-17, Haskell, 0KB, 下载0次)
可以重播请求的反向代理服务器
A reverse proxy server that can replay requests (2024-02-04, Haskell, 0KB, 下载0次)
中间命题逻辑的自动定理证明器
Automated Theorem Prover for Intermediate Propositional Logics (2024-01-24, Haskell, 0KB, 下载0次)
又一个RPKI验证器
Yet another RPKI validator (2023-12-05, Haskell, 0KB, 下载0次)
XMonad窗口管理器的扩展装饰支持
Extended decorations support for XMonad window manager (2023-12-04, Haskell, 0KB, 下载0次)
管道库的LZMA压缩机和解压缩器
LZMA compressors and decompressors for the Pipes library (2023-11-30, Haskell, 0KB, 下载0次)
一种高性能、相当健壮的HTML5标记器
A high-performance, reasonably robust HTML5 tokenizer (2023-11-15, Haskell, 0KB, 下载0次)
为浏览器生成起始页的实用程序，
A utility to generate startpages for browsers, (2023-10-08, Haskell, 0KB, 下载0次)
利用代数进行等式推理的循环定理证明器，
Cyclic theorem prover for equalitional reasoning using egraphs, (2023-08-23, Haskell, 0KB, 下载0次)
铜到金的组调度解算器，
A group scheduling solver for Copper to Gold, (2023-08-22, Haskell, 0KB, 下载0次)
“牙膏”随机过程模型挖掘器的发现算法实现，
Discovery algorithm implementation of "toothpaste" stochastic process model miner, (2023-08-13, Haskell, 0KB, 下载0次)
Go编程语言的分析器和类型分析，
Parser and type analysis for the Go programming language, (2023-08-03, Haskell, 0KB, 下载0次)
用于FPGA的RIPL图像处理DSL的编译器，
Compiler for the RIPL image processing DSL for FPGAs, (2020-06-14, Haskell, 0KB, 下载0次)
PureScript的实验性C++14编译器后端，
An experimental C++14 compiler backend for PureScript, (2015-06-04, Haskell, 0KB, 下载0次)
Idris编译器的WebAssembly代码生成后台
WebAssembly Code Generation Backend for Idris Compiler (2018-06-26, Haskell, 20KB, 下载0次)
Haskell与精益定理证明器的绑定<http:leanprover.github.io>
Haskell与精益定理证明器的绑定<http:leanprover.github.io> (2017-08-25, Haskell, 49KB, 下载0次)
MThreadT，Haskell中的线程管理器，实现为Monad（Transformer）
MThreadT,Threadmanager in Haskell, implemented as a Monad (Transformer) (2010-05-26, Haskell, 1KB, 下载0次)
QuickCheck GenT，用于QuickCheck库的GenT monad转换器
QuickCheck-GenT,A GenT monad transformer for QuickCheck library (2019-11-02, Haskell, 6KB, 下载0次)
corenlp解析器，启动corenlp并解析JSON输出
corenlp-parser,Launches CoreNLP and parses the JSON output (2018-03-27, Haskell, 11KB, 下载0次)