The BMT Standard repository