A verified tensor library in Lean
Lean
49
154 commits
updated Sep 15, 2026
79 commits
63 commits
7 commits
2 commits
leanprover/functional_programming_in_lean
A book about functional programming in Lean
47
H-devigner/OmniGen-tensorflow
0
Frikallo/axiom
High-performance C++ tensor library with NumPy/PyTorch-like API
114
nox-410/tvm.tl
An extention of TVMScript to write simple and high performance GPU kernels with tensorcore.
52
Sajidsaj/True-Math
2
ramu11/PyTorch_ML_Models
1
hardmaru/pytorch_notebooks
tutorial notebooks
392
svuckovicTT/ttnn-models
97.8%
Python
2.0%
