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

[其他] hpfp

Chris Allen和Julie Moronuki的《第一原理》中关于Haskell编程的注释和练习。
Notes and exercises on Haskell Programming from First Principles by Chris Allen and Julie Moronuki. (2024-05-16, Haskell, 0KB, 下载0次)

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

[图形图象] graphql-meta

用于处理GraphQL模式和查询的词法分析、解析、漂亮打印和元编程工具
Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries (2024-04-11, Haskell, 0KB, 下载0次)

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

[音频处理] theHarmonicAlgorithm

Oscar South的调和算法——一个跨越音乐分析、函数编程和机器学习的项目
The Harmonic Algorithm by Oscar South - A Project Spanning Music Analysis, Functional Programming & Machine Learning (2024-03-15, Haskell, 0KB, 下载0次)

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

[数值算法/人工智能] haskell-lazys

由S-Expression表示的类Lisp编程语言。Curried函数和Lazy求值语言。
Lisp like Programming Language denoted by S-Expression. Curried function and Lazy evaluation language. (2011-07-08, Haskell, 0KB, 下载0次)

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

[微信小程序] ming-Paradigms-Assignment-2-Parser-and-Transpiler

FIT2102 编程辅导, Code Help, CS tutor, Wechat: powcoder, powcoder@163.com
FIT2102 programming tutorial, Code Help, CS tutor, Wechat: powcoder, powcoder@163.com (2023-11-04, Haskell, 0KB, 下载0次)

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

[其他] lcore

lcore(Lambda Core)一种基于Lambda演算和各种最小扩展的最小函数编程语言
lcore (Lambda Core) A minimal functional programming language based on the lambda calculus and various minimal extensions (2023-11-01, Haskell, 0KB, 下载0次)

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

[其他] Grady

一种有界量子化的渐进式函数编程语言,
A Gradually Typed Functional Programming Language with Bounded Quantification, (2017-03-07, Haskell, 0KB, 下载0次)

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

[其他] pyrethrum

将函数编程的力量带给测试中的开发人员。。。。。。横向。。。甚至是横向的,
Bringing the power of functional programming to the developer in test ...... laterish... or even laterish, (2023-09-22, Haskell, 0KB, 下载0次)

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

[论文] avb-econ-hs

独立Haskell重新实现Aruoba Villaverde的论文“经济学中编程语言的比较”,
Independent Haskell reimplementation of Aruoba-Villaverde s paper "A Comparison of Programming Languages in Economics", (2018-02-18, Haskell, 0KB, 下载0次)

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

[编程语言基础] elara

Elara是一种面向JVM的多通道、函数式第一编程语言,
Elara is a multiparadigm, functional-first programming language targetting the JVM, (2023-08-18, Haskell, 0KB, 下载0次)

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

[collect] haskell-programming

我在《哈斯克尔从第一原理编程》一书中的练习笔记和解决方案。,
My notes and solutions to exercises for the book "Haskell Programming from first principles"., (2021-10-25, Haskell, 0KB, 下载0次)

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

[collect] rockstar-lexer

使用Alex工具用Haskell编写的Rockstar编程语言规范的简单Lexer。,
A simple Lexer for the Rockstar programming language specification written in Haskell with the Alex tool., (2019-03-04, Haskell, 0KB, 下载0次)

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

[OpenGL] Yampa

高效混合系统的功能 React编程领域专用语言,
Functional Reactive Programming domain-specific language for efficient hybrid systems, (2023-06-08, Haskell, 0KB, 下载0次)

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

[collect] functional-programming-haskell

函数式编程:Haskell
Functional Programming: Haskell (2020-12-26, Haskell, 0KB, 下载0次)

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

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

使用功能 React编程(FRP)和Reflex FRP.构建终端应用程序。,
Build terminal applications using functional reactive programming (FRP) with Reflex FRP., (2023-07-07, Haskell, 0KB, 下载0次)

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

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

BrainWash是一种基于Brainfu*k的编程语言,支持量子隐形传态、振动等。,
BrainWash is a Brainfu*k-based programming language supporting quantum teleportation, Vibration something, and so on., (2019-10-23, Haskell, 0KB, 下载0次)

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

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

“功能和逻辑编程”学科的课程工作。主题:“用......实现遗传算法”...
Course work on the discipline "Functional and logical programming". Topic: "Implementation of a genetic algorithm with parameters on functional programming". Genetic algorithm. Implementation with multiple parameters. A modest graphical interface in Python. (2020-04-12, Haskell, 31KB, 下载0次)

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

[量子计算] quipper-language

Quipper:用于量子计算的嵌入式、可扩展的函数式编程语言(非官方fork)
Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork) (2015-08-31, Haskell, 3784KB, 下载0次)

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

[数值算法/人工智能] agda

Agda是一个依赖类型的编程语言交互式定理证明器。
Agda is a dependently typed programming language interactive theorem prover. (2023-05-31, Haskell, 7135KB, 下载0次)

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

[单片机开发] plc-project

这个repo是为我们在Haskell的CS:3820(编程语言概念)的最后一个项目准备的
This repo is for our final project in Haskell for CS:3820 (Programming Language Concepts) (2017-12-09, Haskell, 668KB, 下载0次)

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