Change the repository type filter
All
Repositories list
2 repositories
potto
PublicA prototype differentiable programming language with an integration primitive that soundly handles interactions among the derivative, integral, and discontinuities and supports separate compilation.potto_applications
PublicApplications of the Potto differentiable programming language (https://github.com/divicomp/potto) to problems in graphics.