Perhaps they have https://logica.dev/ in mind. I think it's more restricted.
Which is, in fact, linked in the readme of this project.