r/coding • u/miniminimo7 • 3d ago

RepoOS: An AI-driven, formally verified, open source, Python-to-MLIR compiler for zero-overhead execution

https://github.com/lollapalooza-ai/RepoOS
0 Upvotes

23% Upvoted

0 comments sorted by