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
  ☆788Updated 4 years ago
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆319Updated 2 years ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆153Updated 3 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆131Updated 4 months ago
• mila-iqia / myia
  Myia prototyping
  ☆456Updated last year
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆198Updated 4 years ago
• tensorlang / tensorlang
  Tensorlang, a differentiable programming language based on TensorFlow
  ☆291Updated 7 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• ajtulloch / dnngraph
  A DSL for deep neural networks, supporting Caffe and Torch
  ☆703Updated 9 years ago
• BayesianLogic / blog
  The BLOG programming language
  ☆98Updated 2 years ago
• forestdb / forestdb.org
  A repository for generative models
  ☆114Updated last year
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆175Updated 9 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆443Updated last week
• 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…
  ☆418Updated 5 years ago
• jbarrow / LambdaNet
  Purely functional artificial neural network library implemented in Haskell.
  ☆378Updated 8 years ago
• baidu-research / persistent-rnn
  Fast Recurrent Networks Library
  ☆580Updated 8 years ago
• ThoughtWorksInc / DeepDarkFantasy
  A Programming Language for Deep Learning
  ☆464Updated 6 years ago
• ZigaSajovic / dCpp
  Automatic differentiation in C++; infinite differentiability of conditionals, loops, recursion and all things C++
  ☆150Updated 5 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆237Updated 4 years ago
• joschu / cgt
  Computation Graph Toolkit
  ☆630Updated 6 years ago
• khinsen / leibniz
  A Digital Scientific Notation
  ☆281Updated 4 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆121Updated 2 years ago
• UniMath / SymmetryBook
  This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at …
  ☆409Updated this week
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆389Updated last year
• microsoft / ivy
  IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…
  ☆227Updated 4 years ago
• dmlc / minpy
  NumPy interface with mixed backend execution
  ☆1,108Updated 6 years ago
• twitter-archive / torch-twrl
  Torch-twrl is a package that enables reinforcement learning in Torch.
  ☆250Updated 7 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago
• sdiehl / numpile
  A tiny 1000 line LLVM-based numeric specializer for scientific Python code.
  ☆407Updated 3 years ago
• mrkulk / Unsupervised-Capsule-Network
  Capsule network with variations. Originally proposed by Tieleman & Hinton : http://www.cs.toronto.edu/~tijmen/tijmen_thesis.pdf
  ☆170Updated 7 years ago