链网节点
chainweb node (2023-12-19, Haskell, 0KB, 下载0次)
链网节点
chainweb node (2023-12-21, Haskell, 0KB, 下载0次)
代码的出现,可能会有几种语言供您娱乐
Advent of code, probably be in several languages for fun (2023-12-17, Haskell, 0KB, 下载0次)
Cardano工具,用于启动测试网并与EDSL运行合约来描述指令。没有特殊原因的郁金香韵律。
A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason. (2023-09-19, Haskell, 0KB, 下载0次)
(简单)在最近的辐射游戏中娱乐黑客迷你游戏。,
(Simple) Recreation of the hacking minigame in recent Fallout games., (2018-10-30, Haskell, 0KB, 下载0次)
使用微信登录认证的 yesod-auth plugin,
Use WeChat login authentication yesod auth plugin, (2023-08-21, Haskell, 0KB, 下载0次)
微信公众平台服务器开发工具,
WeChat public platform server development tool, (2023-08-02, Haskell, 0KB, 下载0次)
以太网、TCP、UDP、IPv4、IPv6、ICMP、DHCP和TFTP包的Haskell数据结构和解析器。摘自房屋项目n...,
Haskell data structures and parsers for Ethernet, TCP, UDP, IPv4, IPv6, ICMP, DHCP, and TFTP packages. Extracted from the House project network stack. (2015-10-12, Haskell, 0KB, 下载0次)
Haskell的玩具天网,
Toy skynet in Haskell, (2022-11-22, Haskell, 0KB, 下载0次)
基于证明网的学术定理证明者,专注于LG,用Haskell写成。
Academic theorem prover based on proof nets, focused on LG, written in Haskell. (2015-02-19, Haskell, 227KB, 下载0次)