The Single-Assignment C compiler, called sac2c.
The sac2c compiler
My talk about extraction in Agda
Fork of Stdlib
Paper on blocked matmul for ARRAY'23
