breandan / picograd
🦠 AD in less than 20 lines
☆54Updated 3 years ago
Alternatives and similar repositories for picograd:
Users that are interested in picograd are comparing it to the libraries listed below
- A miniscule implementation of reverse mode auto-differentiation☆29Updated 3 years ago
- ☆21Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 4 months ago
- Python S-expression emulation using tuple-like objects.☆21Updated 6 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- ☆52Updated 4 years ago
- A Tensor Language☆56Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 8 months ago
- Geometric Algebra package for JAX☆49Updated 3 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 10 months ago
- Thoughts on adjoint, norm and such.☆169Updated 2 years ago
- Metamath verifier in Python☆38Updated 11 months ago
- Minimal deep learning library written from scratch in Python, using NumPy/CuPy.☆121Updated 2 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- Just a small test to see which language is better for extending python when using lists of lists☆31Updated last year
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 2 weeks ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- ☆60Updated 3 years ago
- Brzozowski derivative python sketch☆85Updated 11 months ago
- ☆20Updated 3 years ago
- Python bindings for the egg-smol rust library☆68Updated this week
- Compiler with automatic differentiation☆46Updated last year
- Designing bridge trusses with Pytorch autograd☆61Updated last year
- Autoregressive transformers in APL☆99Updated last month
- 1.2% test error on MNIST using only least squares and numpy calls.☆17Updated last year
- Dyna built on R-exprs (First Prototype)☆15Updated 3 years ago
- a categorical deep learning compiler☆199Updated 3 weeks ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago