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

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

按分类查找： All lean(43)

按平台查找： Lean(19) Others(8) JavaScript(5) C(4) PHP(1) Python(1) C++(1) C#(1) kotlin(1) Nix(1) GAP(1)

[lean] cleango

为lean4 Provider和编程语言绑定到libclipo！
Bindings to libclingo for the lean4 prover and programming language! (2024-05-01, C, 0KB, 下载0次)

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

[lean] Lean_Programming

精益编程
Lean Programming (2024-03-05, PHP, 0KB, 下载0次)

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

[lean] lean_experiments

修补精益编程语言
Tinkering with the lean programming language (2024-01-17, Nix, 0KB, 下载0次)

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

[lean] efpl

精益中的函数式编程练习
Exercises of Functional Programming in Lean (2024-01-13, Lean, 0KB, 下载0次)

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

[lean] c_learning

Michael leans c编程
Michael leans c programming (2023-12-29, C, 0KB, 下载0次)

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

[lean] fpl-exercises

精益中的函数式编程练习
Exercises of Functional Programming in Lean (2023-12-26, Lean, 0KB, 下载0次)

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

[lean] functional-programming-in-lean

精益中的函数编程
functional programming in lean (2023-11-29, Others, 0KB, 下载0次)

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

[lean] GameEngineProgramming_K00288164_LeanneAspil

游戏引擎编程K00288164 LeanneAspil，2023
GameEngineProgramming K00288164 LeanneAspil,2023 (2023-11-27, Others, 0KB, 下载0次)

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

[lean] plfl

Lean4编程语言基础
Programming Language Foundation in Lean4 (2023-11-26, Lean, 0KB, 下载0次)

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

[lean] CPrograms

创建Repo以精益基本C编程。，
Repo is created to lean basic C programming., (2023-10-17, C, 0KB, 下载0次)

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

[lean] muri

精益编程语言的构建工具，
A build tool for the Lean programming language, (2016-09-06, Lean, 0KB, 下载0次)

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

[lean] fun

Mike Spivey在Lean4.中的“编程语言原理”。，
Mike Spivey s "Principles of Programming Languages" in Lean4., (2023-07-09, Lean, 0KB, 下载0次)

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

[lean] leanSOS

精益平方和编程。，
Sum-of-squares programming in Lean., (2021-05-26, Lean, 0KB, 下载0次)

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

[lean] advent-of-code

精益中代码编程难题的出现，
The Advent of Code programming puzzles in Lean, (2018-12-13, Lean, 0KB, 下载0次)

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

[lean] xstream

一个精简而平均的 React编程库，
A lean and mean reactive programming library, (2014-09-03, JavaScript, 0KB, 下载0次)

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

[lean] leanix-report-ea-connect-day-2017

2017年EA Connect Day上展示的LeanIX报告示例，
Example report for LeanIX as presented at EA Connect Day 2017, (2017-11-22, JavaScript, 0KB, 下载0次)

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

[lean] plfl

精益编程语言基础，
Programming Language Foundations in Lean, (2022-11-18, Lean, 0KB, 下载0次)

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

[lean] lean-to

Lean4编程语言的Jupyter笔记本，
Jupyter notebook for the Lean4 programming language, (2022-04-25, C++, 0KB, 下载0次)

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

[lean] fp-lean

精益功能编程，
Functional Programming in Lean, (2023-05-28, JavaScript, 0KB, 下载0次)

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

[lean] lean4-metaprogramming-book

lean4元编程书，，
lean4 metaprogramming book,, (2023-09-11, Lean, 0KB, 下载0次)

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

12 3 >>

总计:43