Racket! https://racket-lang.org/ https://racket-lang.org/ “Whenever an engineer changes one of these programs, we run all the programs through our custom model

Racket! https://racket-lang.org/ https://racket-lang.org/ “Whenever an engineer changes one of these programs, we run all the programs through our custom model checker (written in Racket + Rosette)”