A framework for applied category theory in the Julia language https://algebraicjulia.github.io/Catlab.jl/latest/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

511 B

Contributing to Catlab

We welcome contributions to Catlab, regardless of your experience level with category theory or the Julia language. Contributions should be made through pull requests (PR) on GitHub.

The GitHub wiki has guidelines for writers and reviewers of PRs. Newcomers should not be alarmed by this list; it is the role of Catlab's core developers to review PRs and help you understand our conventions.