JGalego/torchlib

Deep learning meets Lean4 🔥✅

/ 100

Emerging

No Package No Dependents

Maintenance 10 / 25

Adoption 4 / 25

Maturity 11 / 25

Community 13 / 25

Stars

Forks

Language

Lean

License

MIT

Category

Last pushed

Mar 10, 2026

Commits (30d)

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

nschaetti/EchoTorch

A Python toolkit for Reservoir Computing and Echo State Network experimentation based on...

metaopt/torchopt

TorchOpt is an efficient library for differentiable optimization built upon PyTorch.

gpauloski/kfac-pytorch

Distributed K-FAC preconditioner for PyTorch

opthub-org/pytorch-bsf

PyTorch implementation of Bezier simplex fitting

pytorch/xla

Enabling PyTorch on XLA Devices (e.g. Google TPU)