programming

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

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

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

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

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

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

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

从零到一的氛围编程 ｜ vibecoding 零基础教程 ｜ 产品原型设计、AI 能力集成、前后端开发、多平台应用开发教程

Scala中的函数式编程原则

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

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

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

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

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

.NET Interactive combines the power of .NET with many other languages to create notebooks, REPLs, and embedded coding experiences. Share code, explore data, write, and learn across your apps in ways you couldn't before.

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

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

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

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

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

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

CUDA核心计算库

面向Scala的函数式JDBC层。

我的CUDA编程书籍示例代码