AlgebraicJulia Catlab.jl issues

AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language

https://www.algebraicjulia.org

MIT License

599 stars 56 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

adding buildkite functionality

#920 quffaro opened 20 hours ago
0
Fix construction of varacset from `FinDomFunctor`

#919 KevinDCarlson closed 1 day ago
1
Monic constraint and `no_bind` kwarg for AttrVars in hom search

#918 kris-brown closed 1 day ago
0
Fix constructor of acset from `FinDomFunctor` in varacset case

#917 KevinDCarlson closed 4 days ago
1
Keyword argument for sending attrvars to other attrvars

#916 kris-brown closed 1 day ago
0
Redesign ACSetFunctors when there are AttrVars

#915 KevinDCarlson closed 1 week ago
1
Code simplification from equations in schema

#914 kris-brown closed 1 week ago
0
Parameters in queries for attributes that are unions

#913 slwu89 opened 3 weeks ago
3
Upgrade to Convex v0.16

#912 epatters closed 1 month ago
0
CompatHelper: bump compat for Convex in [weakdeps] to 0.16, (keep existing compat)

#911 algebraicjuliabot closed 1 month ago
1
Epic backtracking constraint

#910 kris-brown closed 1 month ago
0
Fix Heyting subtraction for ACSets with variables

#909 kris-brown closed 1 month ago
0
Coproduct with looseACSetTransformations

#908 kris-brown opened 1 month ago
2
free-floating URLs not parsed well by documenter

#907 kris-brown opened 1 month ago
1
Delete extraneous SigmaMigration method

#906 kris-brown closed 1 month ago
1
Fix typo in `product` keyword arguments

#905 jpfairbanks closed 2 months ago
0
Bug in `product` keyword arguments

#904 jpfairbanks closed 2 months ago
0
`SigmaMigrationFunctor` method uses an undefined variable

#903 neonWhiteout closed 1 month ago
2
Bump dependency on ACSets.jl

#902 epatters closed 2 months ago
0
Missing ACSetsGATsInterop methods

#901 kris-brown closed 2 months ago
0
Smoothing interaction between VarSets and actual sets and functions

#900 KevinDCarlson closed 1 month ago
1
Cartesian transformations between acsets

#899 KevinDCarlson closed 2 months ago
5
Fix types in graph algorithms

#898 slwu89 closed 2 months ago
0
Question about abstract vs. concrete type in `enumerate_paths`

#897 slwu89 closed 2 months ago
2
Products of FinCats and isomorphism testing of diagrams of C-sets

#896 kris-brown opened 2 months ago
1
Implement bipartite property graphs and refactor graphviz bipartite graph methods

#895 slwu89 opened 3 months ago
1
Ambiguities detected from Aqua

#894 quffaro opened 3 months ago
0
Basic nauty integration

#893 kris-brown opened 4 months ago
0
Add features to VM based hom search

#892 kris-brown opened 4 months ago
0
Simplify, upgrade, and type-stabilize dom_to_graph

#891 KevinDCarlson closed 4 months ago
0
Fixed typo. "commute must" -> "must commute".

#890 neonWhiteout closed 4 months ago
1
Refactor FinSets from FinSetImpls, etc

#889 KevinDCarlson opened 4 months ago
0
Better graphviz support for bipartite graphs

#888 slwu89 opened 4 months ago
1
Enumerate subobjects of acsets with attribute variables

#887 kris-brown closed 4 months ago
0
Overlap iterator output span order bugfix + ignoring of specific attrtypes

#886 kris-brown closed 4 months ago
0
Maximum_common_subobject changes ordering

#885 kris-brown closed 4 months ago
0
Constraints on attributes in `maximum_common_subobject`

#884 slwu89 closed 4 months ago
5
Rename `Slices` to `SliceCategories` to avoid name conflict

#883 KevinDCarlson closed 5 months ago
4
Add missing SigmaMigrationFunctor constructors for DynamicACSets

#882 KevinDCarlson closed 5 months ago
0
Adding missing `compose` and `id` methods for pointed set schemas

#881 KevinDCarlson closed 5 months ago
0
Remove `experiments` folder

#880 epatters closed 6 months ago
0
Port to JSON3.jl

#879 epatters closed 6 months ago
0
Move from JSON.jl to JSON3.jl

#878 epatters closed 6 months ago
0
Warnings about cross references from docs build

#877 epatters opened 6 months ago
0
GATs are missing from API docs

#876 epatters opened 6 months ago
0
Upgrade to Documenter v1

#875 epatters closed 6 months ago
0
Upgrade to SCS v2

#874 epatters closed 6 months ago
0
Constrain acset hom search to specified subsets

#873 kris-brown closed 5 months ago
6
Upgrade to Gatlab v0.1

#872 epatters closed 6 months ago
0
Avoid building a `Tuple{Union{}}`

#871 KevinDCarlson closed 6 months ago
0