Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
0updated
-
0updated
-
0updated
-
Public / softlab-thesis
SoftLab thesis LaTeX template
0updated -
0updated
-
Achilles Benetopoulos / softlab-thesis
SoftLab thesis LaTeX template
0updated -
Antonios Angelakis / softlab-thesis
SoftLab thesis LaTeX template
0updated -
research / cpdt
A clone of Adam Chlipala's mercurial repos, containing the code for "Certified Programming with Dependent Types". The original can be found here: http://adam.chlipala.net/cpdt/repo/
0updated -
Niki Vazou / mpla-thesis
Liquid Types for Haskell
0updated -
0updated
-
Katerina Roukounaki / cloud-orbit
Orbit for the cloud!
0updated -
Dimitrios Konomis / softlab-thesis
SoftLab thesis LaTeX template
0updated