Lambda微积分的形式验证解释器
A formally verified interpreter for Lambda Calculus (2024-03-26, Haskell, 0KB, 下载0次)
Forsen Integrated Gaming（这是服务器部分）
Forsen Integrated Gaming (this one s the server part) (2023-12-19, Haskell, 0KB, 下载0次)
基于轻量级可组合延续的流处理器
Lightweight composable continuation-based stream processors (2023-12-16, Haskell, 0KB, 下载0次)
Agda语言服务器
Language Server for Agda (2023-12-11, Haskell, 0KB, 下载0次)
Haskell版本的历史json转换器
Haskell version of history-json-converter (2023-11-17, Haskell, 0KB, 下载0次)
一种高性能、相当健壮的HTML5标记器
A high-performance, reasonably robust HTML5 tokenizer (2023-11-15, Haskell, 0KB, 下载0次)
用于调度多个计时器的数据结构，
A data structure for scheduling many timers, (2023-09-28, Haskell, 0KB, 下载0次)
因此，您想编写DSL解释器。。。，
So, you want to write a DSL interpreter..., (2018-11-20, Haskell, 0KB, 下载0次)
语法框架核心：编译器、shell和运行时，
Grammatical Framework core: compiler, shell & runtimes, (2023-09-25, Haskell, 0KB, 下载0次)
javascript推送机制和事件侦听器支持，
A javascript push mechanism and event listener support, (2023-08-07, Haskell, 0KB, 下载0次)
Elsa是lambda微积分计算器，
Elsa is a lambda calculus evaluator, (2023-04-06, Haskell, 0KB, 下载0次)
提供随机数据的虚拟服务器。，
Dummy server that serves random data., (2017-12-13, Haskell, 0KB, 下载0次)
用于蜂窝数据处理的基于管道的组合器，
Pipes-based combinators for cellular data processing, (2015-07-07, Haskell, 0KB, 下载0次)
普罗米修斯度量解析器和实用程序，
Prometheus metrics parser and utilities, (2019-07-09, Haskell, 0KB, 下载0次)
提供持久队列的Data.Seq包装器，
Wrapper for Data.Seq providing a persistent queue, (2016-09-09, Haskell, 0KB, 下载0次)
用于蜂窝CSV数据处理的Quiver组合器，
Quiver combinators for cellular CSV data processing, (2015-08-07, Haskell, 0KB, 下载0次)
LDAP文本数据流的分析器和打印机，
Parser and Printer for LDAP text data stream, (2021-09-06, Haskell, 0KB, 下载0次)
用于绘制时间序列数据的交互式渲染器，
An interactive renderer for plotting time-series data, (2012-11-19, Haskell, 0KB, 下载0次)
已知文本（WKT）数据的Haskell解析器和类型，
Haskell parsers and types for Well-Known Text (WKT) data, (2018-07-30, Haskell, 0KB, 下载0次)
用于slurm作业节点数据的Prometheus导出器，
Prometheus exporter for slurm job node data, (2023-07-06, Haskell, 0KB, 下载0次)