Similar repositories to probcomp/Circuits.jl: