breandan / picogradLinks
🦠 AD in less than 20 lines
☆54Updated 4 years ago
Alternatives and similar repositories for picograd
Users that are interested in picograd are comparing it to the libraries listed below
Sorting:
- A miniscule implementation of reverse mode auto-differentiation☆29Updated 4 years ago
- Geometric Algebra package for JAX☆55Updated 4 years ago
- ☆24Updated 2 years ago
- A thin, highly portable toolkit for efficiently compiling dense loop-based computation.☆149Updated 3 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Updated 7 years ago
- A Tensor Language☆55Updated 4 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- Designing bridge trusses with Pytorch autograd☆61Updated 2 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- 1.2% test error on MNIST using only least squares and numpy calls.☆20Updated 2 years ago
- Probabilistic programming system for fast and exact symbolic inference☆85Updated last year
- Compiler with automatic differentiation☆49Updated 2 years ago
- A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)☆87Updated 10 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- a categorical deep learning compiler☆207Updated 4 months ago
- ☆152Updated 3 years ago
- Autoregressive transformers in APL☆107Updated 5 months ago
- Metamath verifier in Python☆41Updated 8 months ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- Python bindings for the egglog rust library☆98Updated this week
- A minimalist deep learning library written from scratch in Python☆132Updated 3 weeks ago
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆65Updated last year
- Read, write and manipulate code which reads, writes and manipulates code.☆10Updated 5 years ago
- Probabilistic Programming eXecution protocol (PPX)☆76Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 11 months ago
- Reverse-mode automatic differentiation in Rust (experiment)☆63Updated 5 years ago
- fast combinations calculation in jax☆39Updated last year
- ☆53Updated 5 months ago
- ☆20Updated 4 years ago