A framework for applied category theory in the Julia language
(706 star) (68 fork) (13 issue indicizzate) (13 good first issue aperte)
Repository
Repository di AlgebraicJulia
(5 star) (2 fork) (1 issue indicizzata) (1 good first issue aperta)
(19 star) (4 fork) (1 issue indicizzata) (1 good first issue aperta)
Specifying models with syntax trees
(4 star) (5 fork) (0 issue indicizzate) (0 good first issue aperte)