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.