Lambda微积分的形式验证解释器
A formally verified interpreter for Lambda Calculus (2024-03-26, Haskell, 0KB, 下载0次)
json-rpc服务器的最简单实现
A simplest implementation of json-rpc server (2024-03-09, Haskell, 0KB, 下载0次)
json-rpc服务器的最简单实现
A simplest implementation of json-rpc server (2024-03-02, Haskell, 0KB, 下载0次)
TemplateHaskell函数来生成类型和转换器函数。
TemplateHaskell functions to generate types and converter function. (2024-01-07, 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中的另一个玩具OCaml解释器
yet another toy OCaml interpreter in Haskell (2020-07-05, Haskell, 0KB, 下载0次)
用于教育目的的“玩具”SMT解算器
"Toy" SMT Solver for Educational Purposes (2013-04-17, Haskell, 0KB, 下载0次)
键盘布局文件创建器，
Keyboard Layout Files Creator, (2023-03-05, Haskell, 0KB, 下载0次)
语法框架核心：编译器、shell和运行时，
Grammatical Framework core: compiler, shell & runtimes, (2023-09-25, Haskell, 0KB, 下载0次)
NUS CS4223的多核缓存模拟器，
A multi-core cache simulator for NUS CS4223, (2017-11-24, Haskell, 0KB, 下载0次)
类型良好的编译时分析器生成器，
Well-typed compile time parser generator, (2018-08-08, Haskell, 0KB, 下载0次)
Sway Window管理器的Haskell接口，
Haskell Interface for the Sway Window Manager, (2023-08-04, Haskell, 0KB, 下载0次)
用于测试的简单数据库清理器库，
A simple database cleaner library for testing, (2023-08-02, Haskell, 0KB, 下载0次)
伪终端用户界面-X11终端仿真器
Pseudo-Terminal User Interface - an X11 terminal emulator (2017-01-06, Haskell, 21KB, 下载0次)
用Haskell编写的最小X11服务器
A minimal X11 server written in Haskell (2018-07-25, Haskell, 22KB, 下载0次)
Project Euler的Haskell数独解算器（WIP）
Haskell Sudoku solver for Project Euler (WIP) (2011-10-20, Haskell, 3KB, 下载0次)
Haskell中的数据日志解析器和SQL生成
datalog parser and SQL generation in Haskell (2017-05-25, Haskell, 1453KB, 下载0次)
Haskell LLVM JIT编译器教程
Haskell LLVM JIT Compiler Tutorial (2020-04-21, Haskell, 340KB, 下载0次)
Lean定理证明器的参考型检验
Reference type checker for the Lean theorem prover (2017-03-17, Haskell, 46KB, 下载0次)