rog

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

您的硬件。你的规则。打开。强大的。无限制调整。

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

CUDA核心计算库

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

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

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

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

概率规划的贝叶斯推理。

二进制分析平台

面向Scala的函数式JDBC层。

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

我的CUDA编程书籍示例代码

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

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

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

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

TDesign 微信小程序组件库

线性优化软件

🤘 开源编程字体

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

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

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

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