超轻量ini文件分析器
Ultra light weight ini file parser (2024-04-29, Haskell, 0KB, 下载0次)
用Haskell编写的基本pixelflut服务器
Basic pixelflut server written in Haskell (2024-04-25, Haskell, 0KB, 下载0次)
以受控自然语言作为输入语言的实验自然定理证明器,以及由自动定理证明器支持的证明自动化
Experimental natural theorem prover with a controlled natural language as input language and proof automation powered by automated theorem provers (2024-02-12, Haskell, 0KB, 下载0次)
RiscvSpecKami软件包提供SiFive的RISC-V处理器型号。使用Coq构建,该处理器模型可用于仿真、建模...,
The RiscvSpecKami package provides SiFive s RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools. (2023-08-18, Haskell, 0KB, 下载0次)
弃用:lambda par演算的解释器和数据竞争检测器。此存储库已移动:
DEPRECATED: Interpreters and Data race detectors for the lambda-par calculus. THIS REPOSITORY HAS MOVED:
Mac OS X的平铺窗口管理器。,
Tiling window manager for Mac OS X., (2012-10-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次)
用Haskell编写的简单Brainfuck解释器,
A simple Brainfuck interpreter written in Haskell, (2019-02-18, Haskell, 0KB, 下载0次)
一个强大的Brain-Flak to Haskell编译器,
A powerful Brain -Flak to Haskell compiler, (2017-10-01, Haskell, 0KB, 下载0次)
在Haskell中实现的Brainfuck解释器,
A Brainfuck interpreter implemented in Haskell, (2020-07-27, Haskell, 0KB, 下载0次)
为brainfuck优化编译器,
Optimizing compiler for brainfuck, (2020-02-12, Haskell, 0KB, 下载0次)
代数数据类型的分析采样器框架
Analytic sampler framework for algebraic data types (2023-05-12, Haskell, 0KB, 下载0次)
使用LaTeX对Haskell源进行排版的预处理器
Preprocessor for typesetting Haskell sources with LaTeX (2023-03-23, Haskell, 0KB, 下载0次)
用于创建支持WebSocket的服务器的Haskell库
A Haskell library for creating WebSocket-capable servers (2023-03-13, Haskell, 0KB, 下载0次)
一种自托管lambda演算编译器
a self-hosting lambda calculus compiler (2021-03-27, Haskell, 0KB, 下载0次)
浏览器内多人回合赛车游戏
In-browser multiplayer turn-based racing game (2015-01-31, Haskell, 224KB, 下载0次)
非常简单的Lisp计算器,用于显示LLVMJIT
Very Simple Lisp Calculator to show of LLVM JIT (2011-07-07, Haskell, 13KB, 下载0次)
在Haskell中实现的IMP编程语言编译器
Compiler for IMP programming language implemented in Haskell (2020-06-16, Haskell, 37KB, 下载0次)
LLVM符号模拟器,SAW的一部分。
The LLVM Symbolic Simulator, part of SAW. (2020-07-17, Haskell, 601KB, 下载0次)