Similar repositories to gkuiper/docker-systemc: