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