Alternatives and similar repositories for picograd

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

• rasmusbergpalm / nanograd
  A miniscule implementation of reverse mode auto-differentiation
  ☆29Updated 4 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆23Updated 2 months ago
• riswords / quiche
  ☆24Updated 2 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 4 years ago
• facebookresearch / loop_tool
  A thin, highly portable toolkit for efficiently compiling dense loop-based computation.
  ☆149Updated 2 years ago
• benjamin-recht / mnist_1_pt_2
  1.2% test error on MNIST using only least squares and numpy calls.
  ☆20Updated 2 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆49Updated 2 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• RobinKa / jaxga
  Geometric Algebra package for JAX
  ☆54Updated 4 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆206Updated 3 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• eschluntz / PytorchBridge
  Designing bridge trusses with Pytorch autograd
  ☆61Updated last year
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆87Updated 9 months ago
• google-deepmind / s6
  ☆153Updated 3 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• HnimNart / deeplearning
  ☆53Updated 4 months ago
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated 2 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated 3 months ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆17Updated 3 years ago
• Rufflewind / revad
  Reverse-mode automatic differentiation in Rust (experiment)
  ☆63Updated 4 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 10 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆73Updated 5 months ago
• phoenicyan / combinadics
  fast combinations calculation in jax
  ☆39Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 8 months ago