Gemini网络浏览器,正在开发中
A Gemini web browser, under development (2024-04-06, Haskell, 0KB, 下载0次)
RHLE属性的自动验证器。
An automatic verifier for RHLE properties. (2024-03-09, Haskell, 0KB, 下载0次)
Pandoc Markdown Anki集合编译器
A Pandoc Markdown Anki collection compiler (2024-03-04, Haskell, 0KB, 下载0次)
Boat编程语言的编译器
The compiler for the Boat programming language (2024-02-11, 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次)
用Haskell编写的MIPS Cool编译器,
Cool Compiler for MIPS written in Haskell, (2012-12-08, Haskell, 0KB, 下载0次)
iCalendar数据类型、解析器和打印机。,
iCalendar data types, parser, and printer., (2022-12-27, Haskell, 0KB, 下载0次)
Haskell的Cron数据结构和解析器,
Cron data structure and parser for Haskell, (2023-04-09, Haskell, 0KB, 下载0次)
用Haskell编写的简单Brainfuck解释器,
Simple Brainfuck interpreter written in Haskell, (2020-12-14, Haskell, 0KB, 下载0次)
在haskell中实现的brainfuck解析器,
A brainfuck parser implemented in haskell, (2014-11-08, Haskell, 0KB, 下载0次)
用Haskell.编写的BrainFock和模拟器。,
A BrainFuck and simulator written in Haskell., (2018-02-17, Haskell, 0KB, 下载0次)
可移植可执行分析器(尚未完成)
Portable Executable parser (not yet complete) (2017-07-16, Haskell, 0KB, 下载0次)
Haskell中的混合策略游戏求解器
Mixed-strategy game solver in Haskell (2015-06-23, Haskell, 7KB, 下载0次)
Paddle支付处理器的Haskell API
Haskell API to the Paddle payment processor (2020-06-22, Haskell, 7KB, 下载0次)
一种用于LLVM的实验流优化器
An experimental streaming optimizer for LLVM (2012-12-12, Haskell, 22KB, 下载0次)
一种基于SMT的LLVM代码检查器
A SMT based LLVM code checker (2014-09-12, Haskell, 102KB, 下载0次)
面向LLVM的惰性函数语言编译器。
Lazy functional language compiler targeting LLVM. (2011-09-28, Haskell, 53KB, 下载0次)