PyPI80优秀健康指数erfanzar/EasyDeLAccelerate, Optimize performance with streamlined training and serving options with JAX.Python★ 374↓ 2,044/月2026年9月19日Apache-2.02026年9月19日 · 指标 2.10.0
PyPI19危急健康指数leanprover/KLRA formalization of ML kernel languagesC · Lean · C++★ 53↓ 26/月2026年9月19日Apache-2.02026年9月19日 · 指标 2.10.0