Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
Paper on blocked matmul for ARRAY'23
-
-
-
-
The Single-Assignment C compiler, called sac2c.
-
-
-
-
My talk about extraction in Agda
-
-
-
-
-
The sac2c compiler
-
The Single-Assignment C compiler, called sac2c.
-
