Similar repositories to niswegmann/copilot-cbmc: