programming

Agda是一种依赖类型编程语言/交互式定理证明器。

一本关于 Zig 编程语言的开放式技术入门书籍 📚📖

多语言预配置代码片段集合

数学优化建模语言（涵盖线性、混合整数、锥规划、半定规划及非线性问题）

用于Scala的组合式、流式I/O库

CUDA核心计算库

用于文学编程法律规范的编程语言

面向Scala的函数式JDBC层。

面向Clojure的可塑造式实时编程

我的CUDA编程书籍示例代码

面向计算设计与自动化的开源图形化编程工具

一套免费精选的高品质资源合集，助你从青铜进阶至白金乃至更高段位。

《我的世界》OpenComputers模组的家园。

🤖 专为分布式自主行为与动态工作流设计的Elixir自主智能体框架。

线性优化软件

一个用于Julia中自动并行化科学机器学习（SciML）的非因果建模框架。一个用于物理信息机器学习集成符号计算及微分方程自动变换的计算机代数系统

Hedy 是一种渐进式编程语言，用于教授儿童编程。渐进式语言采用不同的语言级别，每个级别都会引入新的概念和语法复杂度。在完成 Hedy 的所有级别后，孩子们将掌握一个语法上有效的 Python 子集。

Plutus语言实现及相关工具

面向LLVM与MLIR的高性能自动微分框架。

伊利诺伊大学开源系统编程入门教材

🤘 开源编程字体

自文档化API的快速开发

Siri 快捷指令编程语言 🍒

用于读取、分析、转换和生成Scala程序的库