A framework for applied category theory in the Julia language
algebraicjulia.github.io