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
- ๐งฎ Reading group about differential, integral and logical calculi.โ26Updated last year
- Designing bridge trusses with Pytorch autogradโ61Updated last year
- A Tensor Languageโ55Updated 4 years ago
- Geometric Algebra package for JAXโ49Updated 3 years ago
- Autoregressive transformers in APLโ101Updated 2 months ago
- A repository of mathematical knowledge written in the Mathlingua language.โ17Updated 7 months ago
- Stalinโ, a brutally optimizing compiler for the VLAD languageโ76Updated 7 years ago
- a categorical deep learning compilerโ203Updated 4 months ago
- โ22Updated 2 years ago
- 1.2% test error on MNIST using only least squares and numpy calls.โ19Updated last year
- Straightforward unification in Python that's extensible via generic functions.โ49Updated 10 months ago
- Metamath verifier in Pythonโ40Updated last month
- Probabilistic programming system for fast and exact symbolic inferenceโ80Updated last year
- Python implementation of the monster groupโ48Updated last month
- Python S-expression emulation using tuple-like objects.โ22Updated 10 months ago
- A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)โ86Updated 4 months ago
- โ149Updated 2 years ago
- [Mirror] A close reading of the ฮผKanren paper.โ43Updated 3 years ago
- Brzozowski derivative python sketchโ85Updated 3 months ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!โ28Updated 2 years ago
- Reverse-mode automatic differentiation in Rust (experiment)โ63Updated 4 years ago
- a datastructure for scalable combinatorial syntaxโ18Updated 4 months ago
- Python term rewritingโ30Updated 12 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rustโ73Updated 3 years ago
- Logic Programming in Pythonโ31Updated 3 years ago
- Ranked Programming Extension for Racketโ54Updated 5 years ago
- Tool for euclidean geometry aware of logicโ86Updated last year
- A formalization of first-order logic and Peano's axioms in Pythonโ20Updated 3 weeks ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"โ96Updated 4 years ago