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