here you goThings I’ve made, read and saved — shared here.

(500) https://catala-lang.org/

I will take short digression from jokes about COBOL and point out a pair of delightful works from Merigoux et al.:

A Modern Compiler for the French Tax Code:

The Catala Language: