Differential calculus on manifolds with boundary applications