rog

概率规划的贝叶斯推理。

二进制分析平台

面向Scala的函数式JDBC层。

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

自托管家庭规划器 - 任务、日历、购物、餐食、预算。你的数据，你的服务器。

我的CUDA编程书籍示例代码

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

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

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

TDesign 微信小程序组件库

线性优化软件

🤘 开源编程字体

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

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

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

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

Plutus语言实现及相关工具

自文档化API的快速开发

一个以Markdown为先的记忆系统，适用于任何AI智能体的独立库，灵感源自OpenClaw。

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

由Semgrep社区共同维护的Semgrep社区版规则集，依据Semgrep规则许可证可免费使用。

Siri 快捷指令编程语言 🍒

Cataclysm: Bright Nights：Cataclysm:DDA 的一个分支/变体，由 CleverRaven 开发，mod 注册表位于 https://mods.cataclysmbn.org/

面向 Rust 程序的验证工具链