programming

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

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

The content behind Elixir School, the premier destination for people seeking to learn and master the Elixir programming language.

KTH算法竞赛模板库（...eller KTHs AC-tillverkande lapp）

cuda-oxy 是一个 Rust 到 CUDA 的编译器，可让您使用安全（ish）、惯用的 Rust 编写（SIMT）GPU 内核。它将标准 Rust 代码直接编译为 PTX——没有 DSL，没有外语绑定，只有 Rust。

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

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

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

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

🎓 系统性大语言模型构建课程｜🛠️ 覆盖预训练数据工程、分词器、Transformer、混合专家模型、GPU编程、分布式训练、缩放定律、推理优化及对齐技术｜🚀 6个渐进式作业结合代码实践，构建大语言模型全栈知识体系

Iosevka 配置尽可能模仿 Berkeley Mono 的外观和感觉。

CUDA核心计算库

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

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

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

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

概率规划的贝叶斯推理。

面向Scala的函数式JDBC层。

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

我的CUDA编程书籍示例代码

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

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

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

线性优化软件