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 3 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• riswords / quiche
  ☆22Updated 2 years ago
• RobinKa / jaxga
  Geometric Algebra package for JAX
  ☆49Updated 3 years ago
• benjamin-recht / mnist_1_pt_2
  1.2% test error on MNIST using only least squares and numpy calls.
  ☆19Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 5 months ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 8 months ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• sradc / SmallPebble
  Minimalist deep learning library written from scratch in Python, using NumPy/CuPy.
  ☆121Updated 2 years ago
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆86Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• Rufflewind / revad
  Reverse-mode automatic differentiation in Rust (experiment)
  ☆63Updated 4 years ago
• eschluntz / PytorchBridge
  Designing bridge trusses with Pytorch autograd
  ☆61Updated last year
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆75Updated this week
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• danieljtait / jax_xla_adventures
  Dive into Jax, Flax, XLA and C++
  ☆31Updated 5 years ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆60Updated 2 months ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated 2 months ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 6 months ago
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated last year
• shawwn / ml-notes
  ☆39Updated 2 years ago
• jart / matmul
  ☆18Updated 10 months ago
• srush / learns-dex
  ☆33Updated 4 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• jtauber / functional-differential-geometry
  working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python
  ☆45Updated 10 years ago
• lezcano / CPProb
  Scalable Probabilistic Programming Library
  ☆21Updated 6 years ago
• shawwn / jaxnotes
  ☆20Updated 3 years ago