JGalego/torchlib
Deep learning meets Lean4 🔥✅
39
/ 100
Emerging
No Package
No Dependents
Maintenance
13 / 25
Adoption
4 / 25
Maturity
9 / 25
Community
13 / 25
Stars
5
Forks
2
Language
Lean
License
MIT
Category
Last pushed
Mar 10, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/JGalego/torchlib"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
metaopt/torchopt
TorchOpt is an efficient library for differentiable optimization built upon PyTorch.
68
SimplexLab/TorchJD
Library for Jacobian descent with PyTorch. It enables the optimization of neural networks with...
65
clovaai/AdamP
AdamP: Slowing Down the Slowdown for Momentum Optimizers on Scale-invariant Weights (ICLR 2021)
62
nschaetti/EchoTorch
A Python toolkit for Reservoir Computing and Echo State Network experimentation based on...
60
gpauloski/kfac-pytorch
Distributed K-FAC preconditioner for PyTorch
58