sigurdschneider / lvc Star 57 Code Issues Pull requests LVC verified compiler compiler coq verification coq-formalization register-allocation compiler-design verified-compiler lvc lvc-compiler register-assignment spilling constant-propagation ssa-construction Updated Nov 1, 2018 Coq
toros-astro / lvcgcn Star 0 Code Issues Pull requests The Gamma-ray burst Coordinates Network (GCN) responder for the LIGO-Virgo Collaboration (LVC) alert notices virgo ligo gravitational-waves gcn lvc Updated Jun 1, 2020 Python