联合开发网   搜索   要求与建议
                登陆    注册
排序按匹配   按投票   按下载次数   按上传日期
按平台查找All Haskell(20) 

[区块链开发] marlowe-ici

该应用程序是Cardano区块链上Marlowe交易的去中心化分布式链索引。
This application is a decentralized, distributed chain index for Marlowe transactions on the Cardano blockchain. (2024-01-27, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1706408736443532.html

[区块链开发] marlowe-ici

该应用程序是Cardano区块链上Marlowe交易的去中心化分布式链索引。
This application is a decentralized, distributed chain index for Marlowe transactions on the Cardano blockchain. (2024-01-15, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1705361706202356.html

[其他] Advent-of-code

代码的出现,可能会有几种语言供您娱乐
Advent of code, probably be in several languages for fun (2023-12-17, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1702842375889609.html

[区块链开发] cardano-node

用于参与Cardano去中心化区块链的核心组件。
The core component that is used to participate in a Cardano decentralised blockchain. (2023-12-17, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1702825606565468.html

[其他] proarrow

Haskell库,用于做以profunctor为中心的范畴理论
Haskell library for doing category theory with a central role for profunctors (2023-12-10, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1702313477397478.html

[其他] fallout-hacking-sim

(简单)在最近的辐射游戏中娱乐黑客迷你游戏。,
(Simple) Recreation of the hacking minigame in recent Fallout games., (2018-10-30, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1698255038836954.html

[其他] dab

Cardano.的去中心化应用程序后端。,
Decentralized applicaton backend for Cardano., (2022-06-07, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1696778622340820.html

[Coq] bitfunctor

基于去中心化区块链的自动可验证正确(认证)代码存储以及通用区块链平台,
Decentralized blockchain-based storage of the automatically-verifiably correct (certified) code as well as generalized blockchain platform, (2017-09-23, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694659827897622.html

[论文] SemanticsRealWorldDebugging

PLDI论文“真实世界Haskell程序的算法调试:从成本中心导出依赖项......”中的可执行语义...,
Executable semantics from the PLDI paper "Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack" (2015-05-30, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1693557376232785.html

[collect] stgi

以用户为中心的可视化STG实现,有助于理解GHC Haskell的执行模型。,
A user-centric visual STG implementation to help understand GHC Haskell s execution model., (2021-06-08, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1690160311452683.html

[collect] linux_notification_center

linux的通知守护程序中心,
A notification daemon center for linux, (2023-07-23, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1690160144311538.html

[绘图程序] gudni

以Haskell为中心的快速精确曲线光栅化器,
Haskell-centric Fast Accurate Curve Rasterizer, (2021-10-09, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1690132193239835.html

[图形图像处理] graphics-coursework-face

用光和纹理渲染3d人脸的图形课程作业。在Haskell.中实现。,
A graphics coursework rendering a 3d face with light and texture. Implemented in Haskell., (2014-03-03, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1690131586576431.html

[生物医药技术] Taxonomy

Haskell cabal分类库包含NCBI(国家生物技术中心I...,
Haskell cabal Taxonomy libary contains tools, parsers, datastructures and visualisation for the NCBI (National Center for Biotechnology Information) Taxonomy datasources. (2021-05-30, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1689711750963865.html

[其他] riak-haskell-client

用于Riak去中心化数据存储的快速Haskell客户端库,
A fast Haskell client library for the Riak decentralized data store, (2011-03-01, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1688770314272664.html

[其他] riak-haskell-client

用于Riak去中心化数据存储的快速Haskell客户端库,
A fast Haskell client library for the Riak decentralized data store, (2023-04-01, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1688769932948140.html

[编程语言基础] haskellweekly

发布关于Haskell编程语言的策划新闻。
Publishes curated news about the Haskell programming language. (2023-06-23, Haskell, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1687943647831682.html

[GPU/显卡] ghengin

Gheng:Haskell游戏引擎,基于vulkan,以着色器为中心,类型较重
Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine (2023-05-29, Haskell, 1517KB, 下载0次)

http://www.pudn.com/Download/item/id/1686380742230443.html

[推荐系统] haskell-svg-arc-convert

W3s推荐的SVG路径弧从端点弧到中心弧转换算法的Haskell实现...
Haskell Implementation of W3s recommended algorithm for converting SVG-path arcs from endpoint-arcs to center-arcs and back. (2014-12-02, Haskell, 4KB, 下载0次)

http://www.pudn.com/Download/item/id/1686247150378705.html

[区块链开发] cardano-node

cardano节点,用于参与cardano去中心化区块链的核心组件。
cardano-node,The core component that is used to participate in a Cardano decentralised blockchain. (2023-04-30, Haskell, 14110KB, 下载0次)

http://www.pudn.com/Download/item/id/1682829035729403.html
总计:20