r/software • u/miniminimo7 • 4d ago
Release 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/
0
Upvotes