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
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆159Updated 4 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 10 months ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆322Updated 3 years ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆292Updated 8 years ago
• mila-iqia / myia
  Myia prototyping
  ☆461Updated 2 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
• ajtulloch / dnngraph
  A DSL for deep neural networks, supporting Caffe and Torch
  ☆711Updated 10 years ago
• forestdb / forestdb.org
  A repository for generative models
  ☆117Updated last week
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆201Updated 5 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
• ZigaSajovic / dCpp
  Automatic differentiation in C++; infinite differentiability of conditionals, loops, recursion and all things C++
  ☆151Updated 6 years ago
• jbarrow / LambdaNet
  Purely functional artificial neural network library implemented in Haskell.
  ☆382Updated 9 years ago
• kb1dds / pysheaf
  Python Cellular Sheaf Library
  ☆149Updated 4 months ago
• ofirnachum / tree_rnn
  Theano implementation of Tree RNNs aka Recursive Neural Networks.
  ☆235Updated 9 years ago
• dbtsai / libDAI
  A free and open source C++ library for Discrete Approximate Inference in graphical models
  ☆57Updated 13 years ago
• probmods / chapters
  The online textbook Probabilistic Models of Cognition
  ☆169Updated 8 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆210Updated 5 years ago
• LaurentMazare / tensorflow-ocaml
  OCaml bindings for TensorFlow
  ☆287Updated 6 years ago
• rdspring1 / LSH_DeepLearning
  Scalable and Sustainable Deep Learning via Randomized Hashing
  ☆94Updated 3 years ago
• sdiehl / numpile
  A tiny 1000 line LLVM-based numeric specializer for scientific Python code.
  ☆411Updated 4 years ago
• GU-CLASP / TypedFlow
  Typed frontend to TensorFlow and higher-order deep learning
  ☆156Updated 3 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆234Updated 5 years ago
• 51alg / TerpreT
  ☆42Updated 8 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆245Updated 6 years ago
• probmods / webppl
  Probabilistic programming for the web
  ☆635Updated last year
• colah / NN-Topology-Post
  A blog post exploring a connection between neural networks and topology
  ☆102Updated 7 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆172Updated last year
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆141Updated 7 years ago