Here we discuss technical details of Polystat, a new experimental static analyzer, and EOLANG, a new experimental programming language.

https://www.polystat.org
https://www.eolang.org