rog

一款适用于 iOS 和 tvOS 的优雅简洁进度指示器，兼容 Swift 和 ObjC

Kubernetes渐进式交付方案

.NET Interactive combines the power of .NET with many other languages to create notebooks, REPLs, and embedded coding experiences. Share code, explore data, write, and learn across your apps in ways you couldn't before.

zenoh 统一了动态数据、使用中数据、静态数据及计算任务。

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

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

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

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

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

CUDA核心计算库

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

二进制分析平台

面向Scala的函数式JDBC层。

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

我的CUDA编程书籍示例代码

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

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

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

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

线性优化软件

TDesign 微信小程序组件库

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

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

Plutus语言实现及相关工具