GitHub Classroom创建的bobs百吉饼电子商务配对编程hugh leandro
bobs-bagels-ecommerce-pair-programming-hugh-leandro created by GitHub Classroom (2024-05-16, CSS, 0KB, 下载0次)
GitHub Classroom创建的秘密日记对编程java hugh leandro
secret-diary-pair-programming-java-hugh-leandro created by GitHub Classroom (2024-05-08, Java, 0KB, 下载0次)
GitHub Classroom创建的秘密日记对编程javascript heil leandro
secret-diary-pair-programming-javascript-heil-leandro created by GitHub Classroom (2024-04-23, JavaScript, 0KB, 下载0次)
GitHub Classroom创建的bobs百吉饼对编程heil leandro
bobs-bagels-pair-programming-heil-leandro created by GitHub Classroom (2024-04-17, JavaScript, 0KB, 下载0次)
Lean是一种依赖类型的编程语言和定理证明器。
Lean is a dependently-typed programming language and theorem prover. (2024-04-12, Lean, 0KB, 下载0次)
：states是Arturo编程语言的精益有限状态机包
:states is a lean Finite State Machine package for the Arturo Programming Language (2024-02-11, Others, 0KB, 下载0次)
Lean4中的函数编程
functional programming in Lean4
精益4编程文件脚本，有助于没有严格数学背景的科学家和工程师。
Lean 4 programming files scripts that are helpful to scientists and engineers without a strict mathematical background. (2023-11-25, Lean, 0KB, 下载0次)
精益社区提供的文档的代码和练习，以学习精益中的功能编程
Codes and exercises for the docs provided by Lean community to learn functional programming in Lean (2023-11-10, Lean, 0KB, 下载0次)
通过小练习学习Mojo编程语言，类似于Ruslings，
Lean Mojo programming language via small exercises, similar to Rustlings, (2023-10-05, Others, 0KB, 下载0次)
用于学习编程语言、开发模式和其他内容的存储库，
Repository for my learning of programming languages, development patterns and others, (2023-09-27, Others, 0KB, 下载0次)
通过代码2022的到来，练习使用Lean 4进行函数编程，
Practice in functional programming with Lean 4 via Advent of Code 2022, (2023-04-03, Lean, 0KB, 下载0次)
精益4函数编程语言的操作符和关键字的现场指南。，
A field guide to the operators and keywords of the Lean 4 functional programming language., (2023-01-06, Lean, 0KB, 下载0次)
一种小型编程语言，由一系列博客帖子和精益代码正式定义。，
A small programming language formally defined with a series of blog posts and Lean code., (2023-04-28, Lean, 0KB, 下载0次)
SNU编程工具的精益编程语言IDE子模块。，
The Lean Programming language IDE submodule for SNU Programming Tools., (2022-09-19, Lean, 0KB, 下载0次)
一种精益编程语言，从头开始设计，可以嵌入到任何东西中。，
A lean programming language, designed from the ground up to be embedded into anything and everything., (2023-09-05, kotlin, 0KB, 下载0次)
在具有依赖类型的认证编程中发现的事物的精益实现，
Lean implementations of things found in Certified Programming with Dependent Types, (2022-06-05, Lean, 0KB, 下载0次)
在LEAN4中嵌入和形式化GAP（组、算法、编程），
An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4, (2022-05-18, GAP, 0KB, 下载0次)
精益4的套接字编程的玩具实现。，
A toy implementation of socket programming for Lean 4., (2023-02-23, C, 0KB, 下载0次)
一本关于精益函数编程的书，
A book about functional programming in Lean, (2023-05-28, Others, 0KB, 下载0次)