AlgebraicJulia's tracked open-source repos, sorted by stars.
A framework for applied category theory in the Julia language