Skip to content

GitLab

Explore

Sign in
Register

Primary navigation

Project

C

curry-libs
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Incidents

Snippets Groups Projects

- Jan Path
curry-libs

C

curry-libs

Project ID: 391

Project information

The library folders, with separate branches for kics2, pakcs and the common libraries

1,219 Commits
17 Branches
9 Tags

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

Created on

March 20, 2019

Select Git revision

0 results

curry-libs

- Clone with SSH
- Clone with HTTPS
Open in your IDE
Download source code

Download source code

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

Forked from curry / curry-libs

Name	Last commit	Last update