EA编程下载搜索联合开发网

排序：按匹配按投票按下载次数按上传日期

按分类查找：编程语言基础(3) 数值算法/人工智能(1) 其他(1) 数学计算(1) 超算/并行计算(1) NFT(1)

按平台查找： All Idris(8)

[数学计算] semantics-of-programming-languages

编程语言语义与定理证明研究笔记，
Study notes on semantics of programming languages & theorem proving, (2017-08-11, Idris, 0KB, 下载0次)

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

[超算/并行计算] idris2-skeletons

Idris2中各种并行编程模式（aka.skeletons）的实现，
An implementation of various parallel programming patterns (aka. skeletons) in Idris2, (2021-06-22, Idris, 0KB, 下载0次)

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

[编程语言基础] PLFI

Idris编程语言基础，
Programming Language Foundations in Idris, (2023-08-11, Idris, 0KB, 下载0次)

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

[其他] dctp

功能 React编程库，
Functional Reactive Programming library, (2019-01-21, Idris, 0KB, 下载0次)

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

[编程语言基础] Idris2-boot

一种依赖类型的编程语言，Idris的继承者
A dependently typed programming language, a successor to Idris (2020-08-11, Idris, 0KB, 下载0次)

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

[编程语言基础] Idris2

一种具有第一类类型的纯函数式编程语言
A purely functional programming language with first class types (2023-06-28, Idris, 0KB, 下载0次)

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

[NFT] dao-fp-exercises

Idris回答了Bartosz Milewski的练习_函数编程之道（[https:github.com BartoszMil...]）（https:github.com Bartosz-Milewski Publications tree-master TheDaoOfFP）
Idris answers to exercises from Bartosz Milewski s _The Dao of Functional Programming_ (<https://github.com/BartoszMilewski/Publications/tree/master/TheDaoOfFP>) (2021-04-15, Idris, 12KB, 下载0次)

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

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

Idris中直觉命题逻辑的一个定理证明器，具有元编程特性
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features (2018-09-12, Idris, 14KB, 下载0次)

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

总计:8