精益幸福有助于通过保持健康的血糖水平来减轻体重，重新编程大脑以停止产生饥饿，并指示身体停止储存脂肪。这种减肥计划改善了身体的整体功能，并在没有任何副作用的情况下健康地减轻体重。购买官网http:tinyurl.com 4ujyhv8b
Lean Bliss helps to reduce weight by maintaining healthy blood sugar levels, reprograms the brain to stop producing hunger, and instructs the body to quit storing fat. This weight loss program improves the whole function of the body and healthily reduces weight without any side effects. Buy from official website http: tinyurl.com 4ujyhv8b (2024-02-14, Others, 0KB, 下载0次)
：states是Arturo编程语言的精益有限状态机包
:states is a lean Finite State Machine package for the Arturo Programming Language (2024-02-11, Others, 0KB, 下载0次)
精益中的函数编程
functional programming in lean (2023-11-29, Others, 0KB, 下载0次)
游戏引擎编程K00288164 LeanneAspil，2023
GameEngineProgramming K00288164 LeanneAspil,2023 (2023-11-27, Others, 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次)
小型指南面向学习精益的任何人，几乎没有编程背景，例如一些学习CS 2102 Discrete M...，
Small guide geared towards anyone learning Lean with little to no programming background, such as some students taking CS 2102 Discrete Mathematics at UVA. (2020-02-10, Others, 0KB, 下载0次)
一本关于精益函数编程的书，
A book about functional programming in Lean, (2023-05-28, Others, 0KB, 下载0次)