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.

Branch: master

compathelper/new_version/2021-03-03-00-36-26-196-52705088

gh-pages

hotfix/v0.10.2

hotfix/v0.9.5

master

mehalter_gats

sl/CatDesc_to_Presentation

v0.1

v0.10.0

v0.10.1

v0.10.2

v0.11.0

v0.11.1

v0.11.2

v0.12.0

v0.2.0

v0.2.1

v0.2.2

v0.2.3

v0.3.0

v0.4.0

v0.4.1

v0.5.0

v0.5.1

v0.5.2

v0.5.3

v0.6.0

v0.6.1

v0.6.2

v0.7.0

v0.7.1

v0.7.2

v0.7.3

v0.7.4

v0.8.0

v0.8.1

v0.8.2

v0.9.0

v0.9.1

v0.9.2

v0.9.3

v0.9.4

v0.9.5

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'master'

${ noResults }

Catlab.jl/src

History

Evan Patterson 6490421260 Merge pull request #402 from cbw124/master add theories of co/Presheaf		8 hours ago
..
categorical_algebra	BUILD: Remove Compat since we are no longer supporting Julia v1.0.	5 days ago
core	CLEANUP: In recent versions of Julia, `nothing` can be printed.	5 days ago
graphics	CLEANUP: Replace package Parameters.jl with `Base.@kwdef`.	5 days ago
graphs	BUILD: Remove Compat since we are no longer supporting Julia v1.0.	5 days ago
linear_algebra	BUILD: Remove Compat since we are no longer supporting Julia v1.0.	5 days ago
programs	BUILD: Remove Compat since we are no longer supporting Julia v1.0.	5 days ago
theories	CLEANUP: Move theory of (co)presheaves to own section of file.	9 hours ago
wiring_diagrams	CLEANUP: Remove hack that was working around core dump in Julia v1.0.	5 days ago
Catlab.jl	REFACTOR: Move `Permutations` module to top level.	7 months ago