verivital/interval-matrices-buck archive