Futhark routines for topics in Dempster-Shafer Theory.
Computation costs for combination in DST are exponential; an attempt at parallelism/approximation to combat this.
I've written a little about the idea here.
The test files dst_test.fut
and comb_test.fut
might offer a bit of explanation aswell.