Skip to content

GitLab

Explore

Sign in
Register

P

pakcs

Project information

PAKCS: The Portland Aachen Kiel Curry System

1,910 Commits
20 Branches
21 Tags
7 Releases

README
BSD 3-Clause "New" or "Revised" License

Created on

December 16, 2015

Copy SSH clone URLssh://git@git.ps.informatik.uni-kiel.de:55055/curry/pakcs.git
Copy HTTPS clone URLhttps://git.ps.informatik.uni-kiel.de/curry/pakcs.git

Loading