3 ms·

Perhaps they have https://logica.dev/ https://logica.dev/ in mind. I think it's more restricted.

• tomsmeding 1y ago
  Which is, in fact, linked in the readme of this project.