资源简介
Lean-lang.org 是一个致力于 Lean 编程语言的全面网站。它提供各种资源，包括：
- 教程和文档： 全面的教程、手册和参考文档，指导用户从基础到高级主题。
- 社区论坛： 活跃的论坛，用户可以在其中讨论语言、寻求帮助和分享想法。
- 示例和项目： 大量的代码示例和完整项目，展示 Lean 的功能和用途。
- 在线编辑器： 一个在线编辑器，允许用户在浏览器中编写、运行和共享 Lean 代码。
- 研究论文和出版物： 有关 Lean 基础、应用和当前研究的学术论文和出版物的汇编。
Lean-lang.org 是一个有价值的资源，适合初学者、经验丰富的开发人员和对 Lean 语言感兴趣的任何人。它旨在通过提供广泛的学习、讨论和协作机会，支持用户社区。
相关资源
Ada Forge - Open Source Ada Code and Tools for programming in Ada language
Ada 开源代码与工具——复杂世界中的软件——演示文稿
Chapel Programming Language - Making scalable parallelism productive and portable
一个讨论 Chapel 并行编程语言的地方。
Rustfinity | Learn and Practice the Rust Programming Language
Rustfinity 是一个学习和练习 Rust 编程语言的平台。它提供了一系列教程、练习、挑战以及许多其他功能，帮助你学习 Rust。
QB64.com | QB64 is a modern extended BASIC programming language that retains QBasic/QuickBASIC 4.5 compatibility and compiles native binaries for Windows, Linux, and macOS.
QB64是一种现代的扩展BASIC编程语言，保持了QBasic/QuickBASIC 4.5的兼容性，并为Windows、Linux和macOS编译本机二进制文件。
gotBASIC.com | For all people interested in the continued usage and evolution of the BASIC programming language.
对于所有对 BASIC 编程语言的持续使用和发展感兴趣的人。
AQ — The Simple, Fast, and Secure Programming Language
AQ 是一种快速、小巧、简单、安全且是解释型编程语言。
Recode Project | The ReCode Project is a community-driven effort to preserve computer art by translating it into a modern programming language. Every translated work is available to the public and contemporary artists to learn from, share, and build on.
《ReCode Project》是一个由社区驱动的努力，旨在通过将其翻译成现代编程语言来保存计算机艺术。每篇翻译出来的作品都可以供公众和当代艺术家学习、分享和加以利用。
Golang News - Jobs, Code, Videos and News for Go hackers - everything about the go programming language
Go 黑客的工作、代码、视频和新闻 - 关于 Go 编程语言的一切
Java Card Forum | The Java Card Forum is an industry association of companies from the smart card, secure operating system and secure silicon industry, working together to promote and develop Java as the preferred programming language for multi-application smart cards, secure devices and other execution environments.
Java Card Form e.V.是智能卡、安全操作系统和安全硅行业公司的合作，共同致力于推广和开发Java作为多应用智能卡和安全设备的首选编程语言。 要了解我们的最新新闻，请确保您注册以接收有关.的电子邮件提醒
Golang Tutorial, Blog, Articles and Examples - golangprograms.com
Golangprograms.com 是一个关于使用 Go 编程语言进行实际开发的网站。已经熟悉 Go 基础的开发者将找到创建 Go 应用程序的模式和技术。
X-CMD | Shell Superpowers for AI Agents. A modular command line toolset, providing 1000+ lightweight and efficient commands, instant startup
给 AI 代理的 Shell 超级能力。X-CMD (
Prompt Coder - Create Apps and Games with AI
PromptCoder 是一款由人工智能驱动的软件出版商，为 iOS、Android 和 web 平台创建创新的应用程序。
Tomas Petricek - New ways of thinking about programming
我是查尔斯大学的助理教授，也是fsharpWorks的合伙人。我致力于使编程更简单、更开放。为此，我将编程系统的研究与编程和计算的历史及哲学相结合。
OCaml’ed blog | I write about my adventures with OCaml, software engineering, and programming languages.
我写我使用OCaml、软件工程和编程语言的经历。
On Software Architecture, Programming Languages, Engineering Management, and Systems Thinking
卢茨·胡恩肯的个人网站和博客。