I'm still working on Logos Language. Just launched v0.10.0 :)

https://logicaffeine.com/benchmarks