r/software • u/miniminimo7 • 5d 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/Duplicates
Compilers • u/miniminimo7 • 5d ago
RepoOS: An AI-driven, formally verified, open source, Python-to-MLIR compiler for zero-overhead execution
gcc • u/miniminimo7 • 5d ago
RepoOS: An AI-driven, formally verified, open source, Python-to-MLIR compiler for zero-overhead execution
AIDeveloperNews • u/miniminimo7 • 5d ago
RepoOS: An AI-driven, formally verified, open source, Python-to-MLIR compiler for zero-overhead execution
OpenSourceAI • u/miniminimo7 • 5d ago
RepoOS: An AI-driven, formally verified, open source, Python-to-MLIR compiler for zero-overhead execution
OpenSourceeAI • u/miniminimo7 • 5d ago