rog

源自Lua的快速、小巧、安全、渐进式嵌入式脚本语言

具备运行时调度功能的性能可移植、长度无关单指令流多数据流

ZIO —— 面向Scala异步与并发编程的类型安全可组合库

现代跨平台低级图形库与渲染框架

线程安全、高性能、功能丰富的图像获取器

🔥 全球最先进的开源在线代码执行系统

web.dev 网站的前端、后端及内容源代码

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

Kubernetes渐进式交付方案

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

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

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

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

面向Scala的函数式JDBC层。

CUDA核心计算库

我的CUDA编程书籍示例代码

Open Source Graphical Programming for Design

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

Plutus语言实现及相关工具

TDesign 微信小程序组件库

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

线性优化软件

🤘 开源编程字体

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