programming

一个用于加速仿真、数据生成和空间计算的 Python 框架。

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

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

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

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

全民AI学习第一课，首个系统化 Vibe Coding 开源教程 | 零基础到全栈实战，让人人都能借助 AI 实现自己的想法与创意 | 在线地址：www.vibevibe.cn

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

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

面向Claude、GPT、O系列、Grok、Deepseek、Gemini及300多种模型的AI增强型结对编程工具

Scala中的函数式编程原则

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

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

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

DeepAnalyze是首个面向自主数据科学的智能体大语言模型。🎈您的AI数据分析师，自动处理海量数据，一键生成专业分析报告！

这份指南堪称文档工程的壮举，内容涵盖从Claude Code新手到高级用户的完整路径，提供生产就绪的Claude Code功能模板、智能体工作流指南，以及大量优质学习资料，包括知识测验和便捷速查表。它是否堪称Claude Code的"终极"指南，将由读者自行评判。

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

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

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

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

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

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

CUDA核心计算库

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

面向Scala的函数式JDBC层。