Lean specification of neural architectures with verified GPU codegen.
- Recommended by
- 1
- GitHub stars
- 47
- Licence
- BSD-3-Clause
- Language
- MLIR
- Last commit
- 1 Nov 2026
What people said
“Very cool! I have been using Lean to drive PJRT like so: and in theory your code could unlock another platform!”
Not software, abandoned or listed by mistake? Report this listing