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

[其他] boat

Boat编程语言的编译器
The compiler for the Boat programming language (2024-02-11, Haskell, 0KB, 下载0次)

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

[超算/并行计算] COMS4995-Parallel_Functional_Programming

COMS4995并行函数编程
COMS4995 Parallel Functional Programming (2024-01-20, Haskell, 0KB, 下载0次)

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

[驱动编程] hummus

内核编程语言的一种方言。,
A dialect of the Kernel programming language., (2011-09-19, Haskell, 0KB, 下载0次)

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

[硬件设计] Syrup

是时序电路的编程语言,
being a programming language for sequential circuits, (2021-07-27, Haskell, 0KB, 下载0次)

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

[开发工具] lit

一个现代的识字编程工具,
A modern tool for literate programming, (2017-04-17, Haskell, 0KB, 下载0次)

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

[collect] recursion-drill

在Haskell中钻研递归编程,
Drill to study recursive programming in Haskell, (2023-05-25, Haskell, 0KB, 下载0次)

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

[collect] gi-gtk-declarative

Haskell中的声明性GTK+编程,
Declarative GTK+ programming in Haskell, (2022-08-01, Haskell, 0KB, 下载0次)

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

[数学计算] insomnia

失眠症:一种模块化概率编程语言,
Insomnia: A modular probabilistic programming language, (2017-07-23, Haskell, 0KB, 下载0次)

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

[其他] type-level-datakinds

使用DataKinds进行类型级编程,
Type-level programming with DataKinds, (2012-03-09, Haskell, 0KB, 下载0次)

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

[其他] yoko

具有分解数据类型的通用编程,
generic programming with disbanded data types, (2012-09-30, Haskell, 0KB, 下载0次)

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

[其他] dataflower

Haskell的数据流编程,
Data flow programming for Haskell, (2021-05-04, Haskell, 0KB, 下载0次)

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

[人工智能/神经网络/深度学习] brainfuck-interpreter

脑力编程语言的口译员,
An Interpreter for the brainfuck programming language, (2019-04-12, Haskell, 0KB, 下载0次)

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

[人工智能/神经网络/深度学习] brainfuck

Brainfuck编程语言的Haskell实现。,
Haskell implementations of the Brainfuck programming language., (2012-06-16, Haskell, 0KB, 下载0次)

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

[编程语言基础] AoPL

一本关于编程语言的书,使用Haskell
A book on programming languages, using Haskell (2021-03-05, Haskell, 0KB, 下载0次)

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

[编程语言基础] Idris-dev

一种依赖类型的函数编程语言
A Dependently Typed Functional Programming Language (2023-03-04, Haskell, 0KB, 下载0次)

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

[数学计算] rel

关系和编程代数的探索
Explorations in relations and the algebra of programming (2019-10-04, Haskell, 0KB, 下载0次)

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

[编译器/解释器] Hytl

玩具函数式编程语言
toy functional programming language (2021-02-28, Haskell, 19KB, 下载0次)

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

[编译器/解释器] capri

一种静态类型的通用编程语言,强调函数编程和简单性。C...
A statically typed, general purpose programming language with an emphasis on functional programming and simplicity. Compiles to LLVM IR. (2023-02-14, Haskell, 40KB, 下载0次)

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

[编译器/解释器] paradise

一种编译为LLVM的编程语言
A programming language that compiles to LLVM (2020-05-15, Haskell, 66KB, 下载0次)

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

[自动编程] codex

用于编程练习的Web应用程序
Web app for programming exercises (2023-03-16, Haskell, 425KB, 下载0次)

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