futhark-lang.org

Do not let your type system reason about aliasing in your programming language

A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.