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

[编程语言基础] slab

一种用于生成HTML的可编程标记语言。
A programmable markup language for generating HTML. (2024-07-23, Haskell, 0KB, 下载0次)

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

[数学计算] haskell_road

Haskell逻辑、数学和编程之路v1
The Haskell Road to Logic, Math and Programming v1 (2024-07-04, Haskell, 0KB, 下载0次)

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

[编程语言基础] cpl

哈基诺分类编程语言(CPL)的解释器。
An interpreter of Hagino s Categorical Programming Language (CPL). (2024-05-23, Haskell, 0KB, 下载0次)

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

[压缩解压] Image-Compressor

{EPITECH}|第二年|函数编程
{EPITECH} | Second year | Functionnal programming (2024-01-17, Haskell, 0KB, 下载0次)

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

[其他] horses

小型编程语言。请温柔一点。
small programming language. pls be gentle. (2023-10-30, Haskell, 0KB, 下载0次)

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

[超算/并行计算] socket-server

“Haskell中的并行和并发编程”中的修改示例,
Modified examples from "Parallel and Concurrent Programming in Haskell", (2016-12-18, Haskell, 0KB, 下载0次)

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

[超算/并行计算] lyre

类型化、函数式、并发编程语言,
a typed, functional, concurrent programming language, (2021-12-31, Haskell, 0KB, 下载0次)

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

[数学计算] abc-presentation

用于学习自动微分和概率编程的资源,
Resources for learning automatic differentiation and probabilistic programming, (2023-09-05, Haskell, 0KB, 下载0次)

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

[其他智力游戏] klatchlings

一款用于入门编程的教育纸牌游戏,
An educational card game for introductory programming, (2023-04-25, Haskell, 0KB, 下载0次)

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

[编程语言基础] mimsa

小型编程语言。请温柔一点。,
small programming language. pls be gentle., (2023-08-06, Haskell, 0KB, 下载0次)

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

[编程语言基础] golang

Go编程语言的分析器和类型分析,
Parser and type analysis for the Go programming language, (2023-08-03, Haskell, 0KB, 下载0次)

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

[工具库] shrubbery

Haskell中用于编程案例分支的库,
A library for programming case branching in Haskell, (2023-07-19, Haskell, 0KB, 下载0次)

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

[数学计算] mstan

Stan概率编程语言的“可交换模块”编译器。,
"Swappable Module" compiler for the Stan probabilistic programming language., (2023-06-25, Haskell, 0KB, 下载0次)

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

[collect] Idris-Elba-Dev

一种基于空白的依赖类型函数编程语言,
A Whitespace-Based Dependently Typed Functional Programming Language, (2017-03-29, Haskell, 0KB, 下载0次)

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

[其他] neon

一种以布雷艇数据包为目标的编程语言,
A programming language that targets minecraft data packs, (2022-11-27, Haskell, 0KB, 下载0次)

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

[编程语言基础] typo

在Haskell的类型系统中运行的编程语言。
A programming language that runs in Haskell s type system. (2016-03-19, Haskell, 0KB, 下载0次)

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

[编程语言基础] neut

一种具有静态内存管理的依赖类型编程语言
A dependently-typed programming language with static memory management (2023-06-25, Haskell, 0KB, 下载0次)

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

[数学计算] haskell-kata

Haskell中实现的流行编程问题
Popular programming problems implemented in Haskell (2020-01-22, Haskell, 0KB, 下载0次)

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

[编译器/解释器] pluto

使用Haskell和LLVM构建的静态类型编程语言
A statically typed programming language built using Haskell and LLVM (2019-05-23, Haskell, 12KB, 下载0次)

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

[其他书籍] Functional Programming

学习函数式编程和Haskell的一本好书
An introductory book for functional programming and Haskell additionally (2019-04-11, Haskell, 6703KB, 下载0次)

http://www.pudn.com/Download/item/id/1554951415371983.html
总计:409