Notice: as a side effect of a necessary change in the configuration settings of GitLab you cannot set the visibility level of projects to public anymore. If you do need a project to be public, please contact the LRZ Servicedesk.

peregrine

peregrine

Verification of Population Protocols

Project ID: 10067
Name
Last commit
Last update
benchmarks Loading commit data...
examples Loading commit data...
src Loading commit data...
.gitignore Loading commit data...
LICENSE.md Loading commit data...
Makefile Loading commit data...
README.md Loading commit data...
Setup.hs Loading commit data...
peregrine.cabal Loading commit data...