A verification toolchain for Rust programs

Lean 3's obsolete mathematical components library: please use mathlib4

一週間でなれる！スパコンプログラマ

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Source code for pbrt, the renderer described in the third edition of "Physically Based Rendering: From Theory To Implementation", by Matt Pharr, Wenzel Jakob, and Greg Humphreys.

Haskell 98 comonads

A book-in-progress about the Linux kernel and its insides.

Meta-linguistic abstraction for particle simulation, such as N-Body and SPH, in Haskell EDSL