[codethief]

Came here to write this.

There's also a (research) language that uses the Perceus algorithm: https://koka-lang.github.io/