differentiable-programming

Swift for TensorFlow

10 differentiable physical simulators built with Taichi differentiable programming (DiffTaichi, ICLR 2020)

torchbearer: A model fitting library for PyTorch

⟨Leibniz-Grassmann-Clifford⟩ differential geometric algebra / multivector simplicial complex

Experimental tensor-typed deep learning

A high-fidelity 3D face reconstruction library from monocular RGB image(s)

[ICLR 2021 top 3%] Is Attention Better Than Matrix Decomposition?

L1: Tensor Studio — The playground for tensors

Differentiable RayTracing in Julia

PyNeuraLogic lets you use Python to create Differentiable Logic Programs

A differentiable simulator for scientific machine learning (SciML) with N-body problems, including astrophysical and molecular dynamics

Differentiating convex optimization programs w.r.t. program parameters

A common interface for quadrature and numerical integration for the SciML scientific machine learning organization

A unified end-to-end learning and control framework that is able to learn a (neural) control objective function, dynamics equation, control policy, or/and optimal trajectory in a control system.

Source code for the examples accompanying the paper "Learning convex optimization control policies."

Deep relational learning through differentiable logic programming.

A JAX-based research framework for writing differentiable numerical simulators with arbitrary discretizations

SAT and Answer Set solver for probability distribution-aware model sampling and multi-models optimization using Differentiable Satisfiability. :::::: Use cases: Probabilistic SAT solving, Probabilistic Answer Set Programming (Probabilistic ASP), ... ::::::

Differentiable Programming Algorithms in Modern C++

A differentiable bridge between phase space and Fock space

Hitchhiker's Guide to Deep Learning for Computational Scientists

Differentiable Duckietown

Evolving graph plotting with differentiable programming on Tensorflow 2

A differentiable programming language with an integration primitive that soundly handles interactions among the derivative, integral, and discontinuities.