Three methods are done.
-
Linearized
-
MonteCarlo
-
Quasi monte carlo (Fourier amplitude sensitivity test)
leftroundabout/uncertainty-haskell also does a linearized error propagation. However it does not name individual sources of error, they are instead positional arguments.