Projects in Awesome Lists tagged with lvc
A curated list of projects in awesome lists tagged with lvc .
https://github.com/sigurdschneider/lvc
LVC verified compiler
compiler compiler-design constant-propagation coq coq-formalization lvc lvc-compiler register-allocation register-assignment spilling ssa-construction verification verified-compiler
Last synced: 10 Feb 2025
https://github.com/toros-astro/lvcgcn
The Gamma-ray burst Coordinates Network (GCN) responder for the LIGO-Virgo Collaboration (LVC) alert notices
gcn gravitational-waves ligo lvc virgo
Last synced: 29 Mar 2025
