GitHub repository: kris-brown/CombinatorialEnumeration.jl
Primary language: Julia
Description: Enumerate models of finite limit sketches up to isomorphism