Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
My talk about extraction in Agda
-
-
-
-
-
The sac2c compiler
-
The Single-Assignment C compiler, called sac2c.
-
Gitlab service has been migrated, please ensure that your repos/pipelines/etc. are working as expected. Let Hans know if there are any issues
Discover projects, groups and snippets. Share your projects with others
My talk about extraction in Agda
The sac2c compiler
The Single-Assignment C compiler, called sac2c.