Catala is a domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts.

The GitHub repo for this language is here. This resolves YES if any commit is pushed to the default branch of this repo during the calendar year 2030. It will also resolve YES if the main repo for this project is moved somewhere else, as long as there is a commit on the primary branch during that year.