breandan / picogradLinks
🦠 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
Sorting:
- A miniscule implementation of reverse mode auto-differentiation☆29Updated 3 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Geometric Algebra package for JAX☆49Updated 3 years ago
- Python S-expression emulation using tuple-like objects.☆22Updated 8 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 6 months ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- 1.2% test error on MNIST using only least squares and numpy calls.☆19Updated last year
- ☆22Updated 2 years ago
- A Tensor Language☆55Updated 4 years ago
- Autoregressive transformers in APL☆100Updated 3 weeks ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 10 months ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- ☆53Updated 4 years ago
- A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)☆86Updated 2 months ago
- Designing bridge trusses with Pytorch autograd☆61Updated last year
- more-reasonable core functionality for numpy☆46Updated 2 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- a datastructure for scalable combinatorial syntax☆18Updated 3 months ago
- a categorical deep learning compiler☆200Updated 3 months ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 6 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆62Updated 2 months ago
- Python bindings for the egg-smol rust library☆76Updated this week
- Various implementation of byte matrix multiplication☆26Updated 4 months ago
- Compiler with automatic differentiation☆48Updated last year
- Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.☆62Updated last year
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- Metamath verifier in Python☆39Updated last year
- Logic Programming in Python☆31Updated 3 years ago
- Python implementation of the monster group☆43Updated 2 weeks ago
- The simple essence of automatic differentiation☆200Updated 4 years ago