“…Examples of these include the Einstein Toolkit, with its related Cactus (Löffler et al, 2012;Schnetter et al, 2004), and Kranc (Husa et al, 2006) infrastructure used by LEAN (Sperhake, 2007;Zilhao et al, 2010) and Canuda (Witek et al, 2019). Other notable but non-public codes include BAM (Bruegmann et al, 2008;Marronetti et al, 2007), AMSS-NCKU (Galaviz et al, 2010), PAMR/AMRD and HAD (East et al, 2012;Neilsen et al, 2007). Codes such as SPeC (Pfeiffer et al, 2003) and bamps (Hilditch et al, 2016) implement the generalised harmonic formulation of the Einstein equations using a pseudospectral method, and discontinuous Galerkin methods are used in SpECTRE (Cao et al, 2018;Deppe et al, 2021;Kidder et al, 2017).…”