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.
 
Evan Patterson 4359fe10a1 REFACTOR: Remove `EmbeddedGraphs` submodule. 2 days ago
..
categorical_algebra ENH: Parameters (constant values) for conjunctive queries on ACSets. 4 weeks ago
core CLEANUP: Dispatch on `::Type{Val{x}}` throughout rest of codebase. 2 months ago
graphics CLEANUP: Simplify ACSet implementation of DWDs. 1 week ago
graphs REFACTOR: Remove `EmbeddedGraphs` submodule. 2 days ago
linear_algebra Merge pull request #346 from epatters/schedule-uwd-refactor 1 month ago
programs REFACTOR: Uses ACSets to implement directed wiring diagrams. 1 week ago
theories FIXUP: removed spurious imports/exports 1 month ago
wiring_diagrams TST: Increase test coverage for new ACSet implementation of DWDs. 4 days ago
Catlab.jl REFACTOR: Move `Permutations` module to top level. 3 months ago