Libros — differentiable programming