The fantastic documentary “We Are As Gods” about Stewart Brand spends a considerable amount of time on this topic as he is involved in many of these efforts.
Two of these authors are also two of the creators of the Catala programming language, which is "a domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts." (https://catala-lang.org/en/).
https://www.weareasgods.film/