Catlab.ji

From PKC
Jump to navigation Jump to search

Catlab.jl is a framework developed by Evan Patterson, for applied and computational category theory, written in the Julia language.