AlgebraicJulia/Catlab.jlJuliaA framework for applied category theory in the Julia languageUltimo commit 12 mag 2026706 star (706 star)68 fork (68 fork)13 issue indicizzate (13 issue indicizzate)13 good first issue aperte (13 good first issue aperte)
AlgebraicJulia/SyntacticModels.jlJuliaSpecifying models with syntax treesUltimo commit 12 set 20244 star (4 star)5 fork (5 fork)0 issue indicizzate (0 issue indicizzate)0 good first issue aperte (0 good first issue aperte)