VELDT编程器
VELDT Programmer (2023-11-24, Haskell, 0KB, 下载0次)
玩具解算器
A toy solver (2023-11-23, Haskell, 0KB, 下载0次)
最小密码管理器,
A minimal password manager, (2023-10-12, Haskell, 0KB, 下载0次)
haskell ftp服务器,
haskell ftp server, (2012-10-07, Haskell, 0KB, 下载0次)
最小密码管理器,
A minimal password manager, (2023-09-16, Haskell, 0KB, 下载0次)
分析有限状态传感器,
Analyze finite-state transducers, (2022-03-13, Haskell, 0KB, 下载0次)
高级键盘管理器,
An advanced keyboard manager, (2023-07-26, Haskell, 0KB, 下载0次)
模型视图控制器,
Model-view-controller, (2022-09-04, Haskell, 0KB, 下载0次)
基本TLA+相关的Haskell库(解析器、计算器、漂亮的打印机),
Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer), (2022-10-07, Haskell, 0KB, 下载0次)
Virtual Haskell环境构建器,
Virtual Haskell Environment builder, (2013-12-09, Haskell, 0KB, 下载0次)
运行时Haskell解释器,
Runtime Haskell interpreter, (2023-07-10, Haskell, 0KB, 下载0次)
Haskell脚本编辑器,
The Haskell-Scriptable Editor, (2023-03-18, Haskell, 0KB, 下载0次)
HN编译器,
HN Compiler, (2019-03-10, Haskell, 0KB, 下载0次)
用于报告编译器解释器错误的简单库
A simple library for reporting compiler interpreter errors (2023-07-05, Haskell, 0KB, 下载0次)
传感器数据格式化程序,,
sensor-data-formatter,, (2019-05-12, Haskell, 0KB, 下载0次)
简单的脑操编译器,
Simple brainfuck compiler, (2023-05-16, Haskell, 0KB, 下载0次)
量子计算机模拟器
Quantum Computer Simulator (2016-03-16, Haskell, 20KB, 下载0次)
实时协作编辑器演示
Realtime colaborative editor demo (2016-03-07, Haskell, 5KB, 下载0次)
自动定理证明器。
An automated theorem prover. (2014-05-11, Haskell, 18KB, 下载0次)
一个实验定理证明器
An experimental theorem prover (2022-11-13, Haskell, 54KB, 下载0次)