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
  ☆787Updated 4 years ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆291Updated 7 years ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆319Updated 3 years ago
• mila-iqia / myia
  Myia prototyping
  ☆458Updated last year
• ajtulloch / dnngraph
  A DSL for deep neural networks, supporting Caffe and Torch
  ☆705Updated 9 years ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆176Updated last year
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆200Updated 4 years ago
• BayesianLogic / blog
  The BLOG programming language
  ☆98Updated 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…
  ☆419Updated 5 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆156Updated 3 years ago
• jbarrow / LambdaNet
  Purely functional artificial neural network library implemented in Haskell.
  ☆379Updated 9 years ago
• joschu / cgt
  Computation Graph Toolkit
  ☆633Updated 7 years ago
• samjabrahams / tensorflow-white-paper-notes
  Annotated notes and summaries of the TensorFlow white paper, along with SVG figures and links to documentation
  ☆435Updated 6 years ago
• dmlc / minpy
  NumPy interface with mixed backend execution
  ☆1,104Updated 7 years ago
• forestdb / forestdb.org
  A repository for generative models
  ☆115Updated last year
• baidu-research / persistent-rnn
  Fast Recurrent Networks Library
  ☆577Updated 8 years ago
• intel / idlf
  Intel® Deep Learning Framework
  ☆313Updated 8 years ago
• salesforce / matchbox
  Write PyTorch code at the level of individual examples, then run it efficiently on minibatches.
  ☆484Updated 3 years ago
• twitter-archive / torch-autograd
  Autograd automatically differentiates native Torch code
  ☆559Updated 3 years ago
• mokemokechicken / keras_npi
  NPI(Neural Programmer-Interpreters) implementation with Keras
  ☆243Updated 2 years ago
• ofirnachum / tree_rnn
  Theano implementation of Tree RNNs aka Recursive Neural Networks.
  ☆235Updated 8 years ago
• fumin / ntm
  An implementation of Neural Turing Machines
  ☆402Updated 10 months ago
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆402Updated last year
• ZigaSajovic / dCpp
  Automatic differentiation in C++; infinite differentiability of conditionals, loops, recursion and all things C++
  ☆151Updated 6 years ago
• jostmey / rwa
  Machine Learning on Sequential Data Using a Recurrent Weighted Average
  ☆602Updated 5 years ago
• colah / NN-Topology-Post
  A blog post exploring a connection between neural networks and topology
  ☆99Updated 6 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• Mostafa-Samir / DNC-tensorflow
  A TensorFlow implementation of DeepMind's Differential Neural Computers (DNC)
  ☆580Updated 5 years ago
• aizvorski / vgg-benchmarks
  Simple benchmark of deep learning frameworks on VGG-16
  ☆135Updated 6 years ago