The US IRS open sourced its direct file system. In the middle of it is a pretty fun logic engine implemented in Scala. Not too futurey, but if you are interested in logic engines at all it’s a fun bit of code spelunking.