Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry
pakcs
Repository
master
Switch branch/tag
Find file
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
bundle_tar
make_manual
run_make
Clone
Clone with SSH
Clone with HTTPS
Open in your IDE
Visual Studio Code (SSH)
Visual Studio Code (HTTPS)
Copy HTTPS clone URL
Copy SSH clone URL
ssh://git@git.ps.informatik.uni-kiel.de:55055/curry/pakcs.git
Copy HTTPS clone URL
https://git.ps.informatik.uni-kiel.de/curry/pakcs.git