Miniscript, a language for Bitcoin transactions, and its implementation in C++, Rust and others. https://bitcoin.sipa.be/miniscript . This channel does not have official logs.