Skip to content
#

differentiable-programming

Star

Here are 45 public repositories matching this topic...

Language: All
Filter by language
All 45 Julia 10 Python 10 Jupyter Notebook 6 C++ 2 Go 2 Haskell 2 Scala 2 C# 1 Java 1 JavaScript 1
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

tensorflow / swift

Star
Open

Installation verification tool

3
texasmichelle
texasmichelle commented Jun 10, 2020

When installing the S4TF toolchain, it's not always clear whether all components are intact and versions are compatible. It would be helpful to have a quick verification tool that uses the toolchain and reports success.

This is especially useful for installations involving accelerators, so the first two features could be:

  • Can invoke the toolchain and import TensorFlow
  • Can run on
Read more
good first issue help wanted

MatthiasNickles / diff-SAT

Star

SAT and Answer Set solver for probability distribution-aware model sampling and multi-models optimization using Differentiable Satisfiability. ### Use cases, e.g., probabilistic SAT solving and probabilistic Answer Set Programming.

optimization artificial-intelligence constraint-programming probabilistic-programming logic-programming sat-solver answer-set-programming satisfiability differentiable-programming psat differentiable-satisfiability dimacs-cnf probabilistic-asp probabilistic-satisfiability multi-models-optimization
  • Updated Jan 19, 2021
  • Scala

wanxinjin / Pontryagin-Differentiable-Programming

Star

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.

reinforcement-learning machine-learning-algorithms motion-planning dynamical-systems control-systems trajectory-optimization optimal-control system-identification imitation-learning inverse-reinforcement-learning end-to-end-learning differentiable-programming reinforcement-learning-environments learning-control pontryagin-maximum-principle
  • Updated Jan 18, 2021
  • Python

Improve this page

Add a description, image, and links to the differentiable-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the differentiable-programming topic, visit your repo's landing page and select "manage topics."

Learn more