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
• gilbo / atl
  A Tensor Language
  ☆55Updated 4 years ago
• riswords / quiche
  ☆24Updated 2 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 10 months ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 2 months ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated last month
• eschluntz / PytorchBridge
  Designing bridge trusses with Pytorch autograd
  ☆61Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 4 months ago
• shawwn / jaxnotes
  ☆20Updated 4 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆205Updated last week
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• benjamin-recht / mnist_1_pt_2
  1.2% test error on MNIST using only least squares and numpy calls.
  ☆19Updated 2 years ago
• RobinKa / jaxga
  Geometric Algebra package for JAX
  ☆51Updated 3 years ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆88Updated last week
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆88Updated last year
• google-deepmind / s6
  ☆150Updated 3 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆50Updated last month
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆30Updated 12 years ago
• bwasti / torch_julia
  [alpha] Expose Julia functions to PyTorch
  ☆15Updated 6 years ago
• sradc / SmallPebble
  Small deep learning library written from scratch in Python, using NumPy/CuPy.
  ☆124Updated 3 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 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…
  ☆70Updated 7 months ago
• howonlee / audible-cos
  Audible NP-Complete Problem
  ☆22Updated 5 years ago