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

[数学计算] FP-4I-materials

贝尔格莱德大学数学系函数编程课程材料
Materials for Functional Programming course at Faculty of Mathematics, University of Belgrade (2024-04-27, Haskell, 0KB, 下载0次)

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

[数值算法/人工智能] pierce-arith

皮尔斯类型和编程语言中的无类型算术表达式
Untyped arithmetic expressions from Pierce s Types and Programming Languages (2014-06-15, Haskell, 0KB, 下载0次)

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

[电子书籍] ProgrammingInHaskell2ndEd-solutions

Graham Hutton的《Haskell编程》(第2版)一书的解决方案。,
My solutions to Graham Hutton s "Programming in Haskell"(2nd Edition) book., (2021-03-25, Haskell, 0KB, 下载0次)

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

[电子书籍] programming-in-haskell

Haskell第2版编程一书练习的解决方案,
Solutions to exercises of the book Programming in Haskell 2nd Edition, (2021-06-09, Haskell, 0KB, 下载0次)

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

[数学计算] UTP2

用于统一编程理论的GUI驱动的方程推理定理证明器,
GUI-driven equational reasoning theorem prover for Unifying Theories of Programming, (2018-06-21, Haskell, 0KB, 下载0次)

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

[超算/并行计算] ticker-hs

Haskell中并发编程的实用程序,由golang.中的Ticker设计。,
A utility for concurrent programming in Haskell, insipired by Ticker in golang., (2017-09-13, Haskell, 0KB, 下载0次)

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

[超算/并行计算] pfp-e2019-pub

2019年DIKU并行函数编程课程的公共存储库,
Public repository for the 2019 Parallel Functional Programming course at DIKU, (2020-01-13, Haskell, 0KB, 下载0次)

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

[自然语言处理] alpacas

客户端和服务器编程库-基于Web的实验开发环境,
A Library for Programming A Client And Server - Experimental Web-based development environment, (2011-02-02, Haskell, 0KB, 下载0次)

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

[编程语言基础] compiler

严格来说,它是用于交互式web组件的声明性编程语言,
strictly is a declarative programming language for interactive web-components, (2023-08-05, Haskell, 0KB, 下载0次)

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

[编程语言基础] Plato

一种基于高阶多态lambda演算的纯函数编程语言,
A purely functional programming language based on higher-order polymorphic lambda calculus, (2023-08-06, Haskell, 0KB, 下载0次)

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

[collect] Functional-Programming

Haskell、Ocaml和Python中说明的函数编程概念、示例和模式,
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python, (2019-08-06, Haskell, 0KB, 下载0次)

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

[编程语言基础] codeworld

使用Haskell的教育计算机编程环境
Educational computer programming environment using Haskell (2023-02-12, Haskell, 0KB, 下载0次)

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

[其他] subworld

密码学编程语言,其中所有指令和数据都是“hello”或“world”,
Esoteric programming language where all instructions and data are either "hello" or "world", (2019-03-22, Haskell, 0KB, 下载0次)

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

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

在不同的编程语言中实现brainfuck语言的解释器,
Implementation of an interpreter for the language of brainfuck in different programming languages, (2014-04-26, Haskell, 0KB, 下载0次)

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

[编程语言基础] tiny-optimising-compiler

用haskell编写的命令式编程语言的微型*优化*编译器
A tiny *optimising* compiler for an imperative programming language written in haskell (2019-08-28, Haskell, 0KB, 下载0次)

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

[Linux/Unix编程] zeolite

沸石是一种静态类型的通用编程语言。
Zeolite is a statically-typed, general-purpose programming language. (2023-06-02, Haskell, 0KB, 下载0次)

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

[模式识别(视觉/语音等)] haskell-must-watch

Haskell编程语言的视频、讲座和课程的巨大列表。
Huge list of videos, talks, courses for Haskell programming language. (2017-10-17, Haskell, 3KB, 下载0次)

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

[编译器/解释器] t-lang

一种有前途的系统级编程语言,具有现代语言功能。
A promised system level programming language equipped with modern language features. (2023-06-18, Haskell, 147KB, 下载0次)

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

[数学计算] euler

亚特兰大函数编程用户组对欧拉问题的解决方案
Atlanta Functional Programming User Group s solutions to the Project Euler Problems (2010-04-11, Haskell, 4629KB, 下载0次)

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

[量子计算] signe

将函数编程的力量引入量子计算
Bringing the power of functional programming to quantum computing (2021-12-23, Haskell, 8864KB, 下载0次)

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