programming

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

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

精简、高效、静态类型且支持元编程的系统编程语言，深受Lua启发，可编译为C语言和原生代码。

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

概率规划的贝叶斯推理。

面向Scala的函数式JDBC层。

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

我的CUDA编程书籍示例代码

Vale编程语言的编译器 - http://vale.dev/

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

Iosevka 配置尽可能模仿 Berkeley Mono 的外观和感觉。

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

线性优化软件

🤘 开源编程字体

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

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

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

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

Plutus语言实现及相关工具

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

自文档化API的快速开发

EOLANG，一种基于𝜑-演算的实验性纯面向对象编程语言

Siri 快捷指令编程语言 🍒

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