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
  ☆28Updated 3 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated 8 months ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago
• riswords / quiche
  ☆22Updated last year
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆166Updated 2 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last month
• benjamin-recht / mnist_1_pt_2
  1.2% test error on MNIST using only least squares and numpy calls.
  ☆17Updated last year
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 4 months ago
• eschluntz / PytorchBridge
  Designing bridge trusses with Pytorch autograd
  ☆61Updated 11 months ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• RobinKa / jaxga
  Geometric Algebra package for JAX
  ☆49Updated 3 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆94Updated 2 weeks ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆84Updated this week
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆82Updated 7 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆72Updated 3 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆77Updated 6 months ago
• gilbo / atl
  A Tensor Language
  ☆55Updated 3 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆42Updated last week
• HnimNart / deeplearning
  ☆53Updated 3 years ago
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆86Updated 4 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆114Updated 8 months ago
• cgarciae / einop
  ☆58Updated 2 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆118Updated 2 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆69Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• srush / learns-dex
  ☆33Updated 4 years ago
• awf / functional-transformer
  A pure-functional implementation of a machine learning transformer model in Python/JAX
  ☆175Updated 2 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 months ago