Comment Comment by gilmi You might be interested in https://futhark-lang.org parent gilmi 3 years ago