Type Systems

• Thunderseethe's Devlog Series on Making a Language

LLVM

• LLVM Language Reference Manual
• Source-level Debugging with LLVM
• LLVM API Reference
• Official LLVM Kaleidoscope Tutorial
• LLVM's Analysis and Transform Passes (Optimizations)
• isuckatcs: How to Compile your Language

Parsing

• Compiling to Assembly from Scratch: Chapter 5: Parser Combinators
• Parsing with OCamllex and Menhir
• Menhir manual

Compiler Architecture

• Rust Compiler Development Guide: Overview of the Compiler

OCaml

• Command-Line Parsing
• Building OCaml Packages with Nix

How to Generate the OCamldoc for packages within a Nix flake. As long as both odoc and ocamlfind are included in the flake, as well as any packages that you want to generate the documentation for are also installed in the flake.

odig doc --lib-dir=$(ocamlfind query llvm)/.. -u

Proof Assistants

General

• The Mechanics of Proof
• The Hitchhiker's Guide to Logical Verification

Rocq

• Rocq Reference Manual
• Dune Rocq Documentation
• Rocq Standard Library
• Rocq Extraction

Note

The workflow for building changed significantly in v9.0

• Building Rocq Projects
• Certified Programming with Dependent Types

Lean

• Loogle
• Functional Programming in Lean
• Theorem Proving in Lean4
• The Lean Language Reference
• Debugging Lean Programs
• Neovim Lean Abbreviations

Operating Systems

• Memfault: Cortex-M RTOS Context Switching
• GCC Inline Assembly Language in C
• ARM Procedure Call Standard
• ARMv7-M Architecture Reference Manual
• Libaco: Asynchronous Coroutine Library in C
• minicoro: Single header stackul cross-platform coroutine library