Futhark ​

Links ​

• Futhark User’s Guide
• Sum types in Futhark (2019)
• Parallel Functional Programming course (2020)
• HarkDB - Multi-backend GPU datababse written with Futhark.
• A comparison of Futhark and Dex (2020) (HN)
• Futhark design decisions I do not regret (2021)
• Writing Fast Futhark Programs
• futhark-manifest - Haskell library for reading and writing Futhark manifest files.
• The past and present of Futhark (2021) (Reddit)
• Cost models are contracts (2022)
• neptune-triton - Futhark implementation of the Poseidon hash function, targeting OpenCL for execution on GPU.
• futhark-bindgen - Futhark binding generator.
• Genfut - Tool to generate a Rust library to interact with exported functions from a Futhark file.
• Array short-circuiting (2022)
• Generating audio with literate Futhark (2022)
• Futhark CI
• Experimenting with Futhark programming style
• Compositional Deep Learning in Futhark (2019)
• Deep learning library written in Futhark (HN)
• cacti - Library for experimenting with computation graphs.