GitHub repository: AlgebraicJulia/Catlab.jl
Primary language: Julia
Description: A framework for applied category theory in the Julia language