programming

Drogon：基于C++14/17/20的HTTP Web应用框架，支持Linux/macOS/Unix/Windows系统

Bartosz Milewski《程序员范畴论》非官方PDF与LaTeX源码

🥧 基于QUIC传输协议与HTTP/3的稳健实现

Dart SDK，包括虚拟机、JS与Wasm编译器、分析器、核心库等组件。

RenderDoc是一款独立的图形调试工具。

Pocket Flow：百行代码的LLM框架。让智能体构建智能体！

暂无描述

来自未来的友好编程语言

面向非技术创作者的Vibe工作流平台。

Bananas🍌，跨平台屏幕🖥️共享📡变得简单⚡。

现代C++的枚举静态反射（转字符串、从字符串解析、迭代），无需宏或样板代码即可适用于任何枚举类型

适用于实时应用的无垃圾收集静态类型Lisp语言

一门快速、友好、函数式的语言。

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

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

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

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

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

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

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

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

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

面向Scala的函数式JDBC层。

CUDA核心计算库