编程语言学习

软件基础 (coq-zh.github.io)

OCaml

FlyingFog/OCaml-Chinese-Tutorial: OCaml learning docs in Chinese. OCaml官方教学文档中文翻译和补充. (github.com)

OCaml 系统，版本 4.08 (lkwq007.github.io)

Haskell-Idris

Idris 教程 — Idris-zh 1.3.1 文档

idris2-tutorial-zh

Real World Haskell 中文版 — Real World Haskell 中文版 (cnhaskell.com)

Haskell Hierarchical Libraries

CPP

现代 C++ 教程: 高速上手 C++ 11/14/17/20 - Modern C++ Tutorial: C++ 11/14/17/20 On the Fly (changkun.de)

欢迎回到 C++ - 现代 C++ | Microsoft Learn

简介 - Effective Modern C++ (cntransgroup.github.io)

TypeScript

TypeScript: Documentation - 面向编程初学者的 TypeScript (typescriptlang.org)

Kotlin

关于本书 · Kotlin 官方文档 中文版 (kotlincn.net)

Scala

导言 | Scala Documentation (scala-lang.org)

LLVM

llvm-kaleidoscope

C#

C# 文档 - 入门、教程、参考。 | Microsoft Learn

Rust

Rust 程序设计语言 - Rust 程序设计语言 简体中文版 (kaisery.github.io)

介绍 | Nushell