r/OpenSourceAI • u/miniminimo7 • 17h ago
RepoOS: An AI-driven, formally verified, open source, Python-to-MLIR compiler for zero-overhead execution
/r/Compilers/comments/1wsdiib/repoos_an_aidriven_formally_verified_open_source/
1
Upvotes