Alternatives and similar repositories for certigrad

Users that are interested in certigrad are comparing it to the libraries listed below

• tensorflow / deepmath
  Experiments towards neural network theorem proving
  ☆789Updated 4 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆157Updated 4 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆133Updated 4 months ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆321Updated 3 years ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆292Updated 7 years ago
• BayesianLogic / blog
  The BLOG programming language
  ☆98Updated 2 years ago
• mila-iqia / myia
  Myia prototyping
  ☆457Updated 2 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆200Updated 4 years ago
• ajtulloch / dnngraph
  A DSL for deep neural networks, supporting Caffe and Torch
  ☆707Updated 9 years ago
• facebookarchive / Stack-RNN
  This is the code used for the paper "Inferring algorithmic patterns with a stack augmented recurrent network", by Armand Joulin and Tomas…
  ☆419Updated 6 years ago
• forestdb / forestdb.org
  A repository for generative models
  ☆116Updated last month
• ZigaSajovic / dCpp
  Automatic differentiation in C++; infinite differentiability of conditionals, loops, recursion and all things C++
  ☆151Updated 6 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆245Updated 6 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• rdspring1 / LSH_DeepLearning
  Scalable and Sustainable Deep Learning via Randomized Hashing
  ☆93Updated 3 years ago
• GU-CLASP / TypedFlow
  Typed frontend to TensorFlow and higher-order deep learning
  ☆156Updated 3 years ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆463Updated 2 weeks ago
• jbarrow / LambdaNet
  Purely functional artificial neural network library implemented in Haskell.
  ☆380Updated 9 years ago
• ofirnachum / tree_rnn
  Theano implementation of Tree RNNs aka Recursive Neural Networks.
  ☆235Updated 8 years ago
• sdiehl / numpile
  A tiny 1000 line LLVM-based numeric specializer for scientific Python code.
  ☆410Updated 3 years ago
• baidu-research / persistent-rnn
  Fast Recurrent Networks Library
  ☆577Updated 8 years ago
• probmods / webppl
  Probabilistic programming for the web
  ☆626Updated last year
• viswanathgs / dist-dqn
  Multi-GPU reinforcement learning using Deep Q-Network in TensorFlow for OpenAI Gym
  ☆182Updated 9 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆159Updated last year
• LaurentMazare / tensorflow-ocaml
  OCaml bindings for TensorFlow
  ☆285Updated 6 years ago
• intel / idlf
  Intel® Deep Learning Framework
  ☆315Updated 9 years ago
• distillpub / post--augmented-rnns
  Attention and Augmented Recurrent Neural Networks
  ☆175Updated 6 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆245Updated 10 years ago