delta-prox
A domain-specific language and compiler that transforms optimization problems into differentiable proximal solvers.