* [Bend v2.0.36](https://github.com/bendlang/bend) – Fast language focused on enforcing application laws through formal proofs and compiling to high-performance executables.