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 5 years ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆292Updated 8 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆160Updated 4 years ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆322Updated 3 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 10 months ago
• mila-iqia / myia
  Myia prototyping
  ☆461Updated 2 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…
  ☆420Updated 6 years ago
• ajtulloch / dnngraph
  A DSL for deep neural networks, supporting Caffe and Torch
  ☆711Updated 10 years ago
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆201Updated 5 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• BayesianLogic / blog
  The BLOG programming language
  ☆100Updated 3 years ago
• forestdb / forestdb.org
  A repository for generative models
  ☆117Updated 3 weeks ago
• dbtsai / libDAI
  A free and open source C++ library for Discrete Approximate Inference in graphical models
  ☆57Updated 13 years ago
• ZigaSajovic / dCpp
  Automatic differentiation in C++; infinite differentiability of conditionals, loops, recursion and all things C++
  ☆151Updated 6 years ago
• colah / NN-Topology-Post
  A blog post exploring a connection between neural networks and topology
  ☆101Updated 7 years ago
• jbarrow / LambdaNet
  Purely functional artificial neural network library implemented in Haskell.
  ☆382Updated 9 years ago
• joschu / cgt
  Computation Graph Toolkit
  ☆633Updated 7 years ago
• ofirnachum / tree_rnn
  Theano implementation of Tree RNNs aka Recursive Neural Networks.
  ☆235Updated 9 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆210Updated 5 years ago
• samim23 / GitXiv
  GitXiv - Collaborative Open Computer Science.
  ☆269Updated 8 years ago
• intel / idlf
  Intel® Deep Learning Framework
  ☆313Updated 9 years ago
• probmods / webppl
  Probabilistic programming for the web
  ☆635Updated last year
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆234Updated 5 years ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆414Updated 2 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆245Updated 6 years ago
• mokemokechicken / keras_npi
  NPI(Neural Programmer-Interpreters) implementation with Keras
  ☆243Updated 3 years ago
• rdspring1 / LSH_DeepLearning
  Scalable and Sustainable Deep Learning via Randomized Hashing
  ☆94Updated 3 years ago
• aizvorski / vgg-benchmarks
  Simple benchmark of deep learning frameworks on VGG-16
  ☆134Updated 7 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆172Updated last year
• twitter-archive / torch-autograd
  Autograd automatically differentiates native Torch code
  ☆559Updated 4 years ago